C++ 11 템플릿 인스턴스화 오류

Question

내가 코드의 두 조각이 있습니다

1)

template< class T > 
    auto min(T a, T b) -> decltype(a) 
    { 
     return a < b ? a : b; 
    } 




int main() 
{ 
    struct A{}; 
    auto x = min(2, 3) ;// success 

    auto a = A{}; 
    auto b = A{}; 
    auto c = min(a,b);// here is error  
} 

http://ideone.com/cXgnPy

그리고 2)

template< class T > 
    auto min(T a, T b) ->decltype(a<b, a) 
    { 
     return a < b ? a : b; 
    } 



int main() 
{ 
     struct A{}; 
     auto x = min(2, 3) ;// success 
     auto a = A{}; 
     auto b = A{}; 
     auto c = min(a,b);// here is another error  
} 

http://ideone.com/Rfs4Lv

첫 번째 및 두 번째 대소 문자의 다른 오류는 무엇입니까? 어느 것이 더 낫습니까?

UPD : '분'구현은 더 나은 무엇입니까? INT가

Answer 1

구조체 (A)는 컴파일러는 아마 당신이 말했듯이, 문제가 피연산자 A 및 A에 대한 operator<에 대한 일치하지 않는다는 것이다 정의 연산자 <하지 않습니다. int는 내장이 연산자를 가지고 있지만, 당신은 당신의 자신의 클래스에 대한 하나를 직접 선언해야합니다

이

struct A 
{ 
    A(int a) : a(a) {} 

    bool operator<(A const & rhs) 
    { 
     return a < rhs.a; 
    } 

    int a; 
}; 

다음 min(A(1), A(2)) 유효한 호출된다. 문제는 제공 한 두 코드 스 니펫에 대해 동일합니다.

min 구현은 더 나은 무엇입니까?

나도 선택하지 않을 것입니다. 첫째, 반환 형식의 후반 결정에 대한 필요가 없습니다, 당신은 단지

template <typename T> 
T min(T a, T b) 
{ return a < b ? a : b; } 

가 할 수 있었던 두 번째 코드는 더 악화되는 동일한 코드를 난독된다. 또한 <algorithm> 헤더에 std::min이 있습니다.

Answer 2

있는 동안

Answer 3

내 의견에 말했듯이 : 가 자동 키워드 아닌 학대를 수행합니다. 함수 min()은 동일한 유형의 두 인스턴스를 비교하므로 후행 반환 유형을 사용할 이유가 없습니다. 반환 유형은 분명히 T입니다.
seond 버전은 쉼표 연산자를 사용합니다.이 연산자는 첫 번째 피연산자를 계산하고 버리고 두 번째 피연산자를 계산하여 반환합니다. 이 경우처럼 decltype을 엔티티 대신 표현식과 함께 사용하면 표현식의 리턴 유형을 리턴합니다. 따라서이 버전은 T 대신 T&을 반환합니다.

그래서 대답은 : 번째 버전이 더 나은, 사본을 피할 수 있기 때문이다. 그러나 두 버전 모두 trirty 반환 유형을 사용하는 불행하고 불필요한 경우입니다. 좋은 접근 방법은 T을 반환하는 것입니다.

template<typename T> 
T& min(const T& lhs , const T& rhs) 
{ 
    return lhs < rhs ? lhs : rhs; 
}