は、Visual Studioで10

Question

#include <iostream> 
#include <vector> 
#include <algorithm> 
#include <utility> 
#include <functional> 
#include <type_traits> 

struct X {}; 
struct Y {}; 

__int8 f(X x) { return 0; } 
__int16 f(...) { return 0; } 

template <typename T> typename std::enable_if<sizeof(f(T())) == sizeof(__int8), int>::type call(T const& t) { 
    std::cout << "In call with f available"; 
    f(t); 
    return 0; 
} 

template <typename T> typename std::enable_if<sizeof(f(T())) == sizeof(__int16), int>::type call(T const& t) { 
    std::cout << "In call without f available"; 
    return 0; 
} 

int main() { 
    Y y; X x; 
    call(y); 
    call(x); 
} 

をSFINAEをコンパイルすることはできません、それはenable_if<false, int>::typeをインスタンス化することができないということである、ここでSFINAEの非常に簡単に使用しているようだが、コンパイラはエラーをスローします。助言がありますか？どうやら、このコードはGCCでうまくコンパイルされています（どのバージョンになっているのか尋ねませんでした）。

編集：このコードは、だから私はbugarooneyさまで、このいずれかをチョークして完全に満足している微

#include <iostream> 
#include <vector> 
#include <algorithm> 
#include <utility> 
#include <functional> 
#include <type_traits> 

struct X {}; 
struct Y {}; 

__int8 f(X x) { return 0; } 
__int16 f(...) { return 0; } 

template<typename T> struct call_helper { 
    static const int size = sizeof(f(T())); 
}; 

template <typename T> typename std::enable_if<call_helper<T>::size == sizeof(__int8), int>::type call(T const& t) { 
    std::cout << "In call with f available"; 
    f(t); 
    return 0; 
} 

template <typename T> typename std::enable_if<call_helper<T>::size == sizeof(__int16), int>::type call(T const& t) { 
    std::cout << "In call without f available"; 
    return 0; 
} 

int main() { 
    Y y; X x; 
    call(y); 
    call(x); 
} 

をコンパイルします。

Answer 1

これはVS2010で正しくコンパイルされ、正しく動作します。ダビデの示唆を使って修正されました。

#include <iostream> 
#include <vector> 
#include <algorithm> 
#include <utility> 
#include <functional> 
#include <type_traits> 

struct X { 
    typedef X is_x; 
    }; 
struct Y {}; 

__int8 f(X x) { return 0; } 
__int16 f(...) { return 0; } 

template < class T > 
struct test { 
    enum { result = sizeof(f(T())) }; 
    }; 

template <typename T> 
typename std::enable_if< test<T>::result == sizeof(__int8), int>::type call(T const& t) { 
    std::cout << "In call with f available" << std::endl; 
    f(t); 
    return 0; 
} 

template < typename T > 
typename std::enable_if< test<T>::result == sizeof(__int16), int>::type call(T const& t) { 
    std::cout << "In call without f available" << std::endl; 
    return 0; 
} 

int main() { 

    Y y; X x; 
    call(y); 
    call(x); 
}