MSVC 2013 '类型'：不是“STD成员:: enable_if <false,void>

Question

我SFINAE代码使用std::enable_if编译在GCC &铛，但不是在2013年MSVC

代码（also available on cpp.sh）是

#include <iostream> 
#include <type_traits> 

template <typename T, typename ... AdditionalInputs> 
typename std::enable_if<sizeof...(AdditionalInputs) == 0, void>::type 
CallDoDataProcessing(T var) { 
    std::cout << sizeof...(AdditionalInputs) << " additional inputs" << std::endl; 
} 

template <typename T, typename ... AdditionalInputs> 
typename std::enable_if<sizeof...(AdditionalInputs) == 1, void>::type 
CallDoDataProcessing(T var) { 
    std::cout << sizeof...(AdditionalInputs) << " additional inputs" << std::endl; 
} 

int main() { 
    CallDoDataProcessing<int>(3); 
    CallDoDataProcessing<int, int>(3); 
    return 0; 
} 

在GCC /铛，这个完美的作品，在MSVC不过，我得到：

Error 1 error C2039: 'type' : is not a member of 'std::enable_if<false,void>' c:\Users\mrussell\documents\visual studio 2013\Projects\ConsoleApplication1\ConsoleApplication1\ConsoleApplication1.cpp 5 1 ConsoleApplication1 

的编译和运行输出应为：

0 additional inputs 
1 additional inputs 

我在SO上看到过一些类似的问题，但没有一个有明确的答案，或者是略微正切的。

读MSVC enable_if页面，这应该工作...

如何使用SFINAE在MSVC2013？

UPDATE

正如一个音符，这确实在积极的情况下工作。例如，如果我注释掉第一个函数和对它的调用，那么其余的就会编译。即在CallDoDataProcessing上的enable_if<true, void>确实具有type成员。

然而，注释掉第二个函数并调用它（所以，留下的版本，其中sizeof...(AdditionalInputs) == 0不工作，虽然，同样的错误。

这表明sizeof...(AdditionalInputs) == 0呼叫没有被匹配，但我可以”牛逼弄清楚为什么它不会。

Answer 1

try标记调度。

template<std::size_t> 
struct size {}; 

namespace details { 
    template <typename T, typename ... AdditionalInputs> 
    void CallDoDataProcessing(T var, size<0>) { 
    std::cout << sizeof...(AdditionalInputs) << ", aka 0, additional inputs" << std::endl; 
    } 

    template <typename T, typename ... AdditionalInputs, std::size_t N> 
    void CallDoDataProcessing(T var, size<N>) { 
    std::cout << sizeof...(AdditionalInputs) << " additional inputs" << std::endl; 
    } 
} 
template <typename T, typename ... AdditionalInputs> 
void CallDoDataProcessing(T var) { 
    details::CallDoDataProcessing<T, AdditionalInputs>(var, size<sizeof...(AdditionalInputs)>{}); 
} 

SFINAE真的不好用MSVC的支持。你的代码看起来像有效SFINAE。这MSVC不能做正确的事的事实是n令人惊讶。

MSVC的工作原理很多更好用我的经验标签调度，我发现它甚至有时会更容易理解代码甚至错误消息。

它不允许在调用函数的主体之前注意“不，你不能这样做”，使调用函数也声明“不，我不能做”。