템플릿 함수 + 펑터 인수, 펑터가 인라인되지 않은 이유는 무엇입니까?

Question

아래 코드는 "REPLACING WITH .."행 근처에서 functor compare_swaps()가 my_intcmp()에 대한 직접 참조로 바뀌면 4 배 빠르게 실행됩니다. 명백하게 간접 사용은 인라인되지 않습니다. 왜?

inline bool my_intcmp(const int & a, const int & b) { 
     return a < b; 
} 


template <class T, class compare> 
void insertion_sort_3(T* first, T* last, compare compare_swaps) { 
    // Count is 1? 
    if(1 == (last - first)) 
     return; 

    for(T* it = first + 1; it != last; it ++) { 
     T val = *it; 
     T* jt; 

     for(jt = it; jt != first; jt --) { 
      // REPLACING WITH if(my_intcmp(val, *(jt - 1)) gives 4x speedup, WHY? 
      if(compare_swaps(val, *(jt - 1))) { 
       *jt = *(jt - 1); 
      } else { 
       break; 
      } 
     } 

     *jt = val; 
    } 
} 

#define SIZE 100000 
#define COUNT 4 

int main() { 
    int myarr[ SIZE ]; 

    srand(time(NULL)); 

    int n = COUNT; 
    while(n--) { 
     for(int i = 0; i < SIZE; i ++) 
      myarr[ i ] = rand() % 20000; 

     insertion_sort_3(myarr, myarr + SIZE, my_intcmp); 
    } 

    return 0; 
} 

Answer 1

컴파일러는 실제로 변경할 수없는 함수 포인터를 확인합니다. 나는 이것을 몇 번 전에 보았습니다. 빌드 - 당신은 아마 값이 아닌 참조로 개체를 전달하려는 유형에 대해 구체적으로

struct my_intcmp_wrapper 
{ 
    bool operator()(int v0, int v1) const { 
     return my_intcmp(v0, v1); 
    } 
}; 

: 문제에 대한 수정 프로그램은 간단한 래퍼 struct을 사용하는 것입니다. 인라인 된 함수의 경우에는 많은 차이를 만들지는 않겠지 만 함수가 인라인되지 않으면 일반적으로 상황이 악화됩니다.