MSVC编译器中枚举类的“对重载函数的模糊调用”

Question

我试图用值进行模板特化，一个化身是bool，而另一个是enum类。我与编译器斗争了一天，但没有设法克服“对重载函数的模糊调用”错误。那个代码很丑而且相当长，但这是一个简单的测试用例：

#include <iostream>

enum class Foo { Bar };
enum class Waldo { Fred };

template<Foo ARG, typename... _Types>
inline bool DOIT( _Types&&... _Args )
{
    return true;
}

template<Waldo ARG, typename... _Types>
inline bool DOIT( _Types&&... _Args )
{
    return false;
}

int main()
{
    std::cout << DOIT<Foo::Bar>() << std::endl;
    std::cout << DOIT<Waldo::Fred>() << std::endl;
    return 0;
}

clang 3.8和gcc 4.8.3都能顺利编译，标准设置为c 11，但MSVC不断向我发送C2668错误消息。

AFAIK使用enum类的一个原因是为了避免隐式转换，但我不确定。这是一个编译器错误，还是标准中的一些缺陷？

Answer 1

从技术上讲，您发布的代码是一个格式错误的程序，不需要进行诊断，因为您使用了一个标识符，该标识符以“”开头，后跟一个大写字母。该标准为编译器的实现者保留了这样的标识符。

但这不是你的问题。

我曾经见过一个案例，MSVC在遵循标准时做对了，而gcc和clang都做错了。

除此之外，这种模糊性在这里毫无意义。

你的编译器坏了。

一种可行的方法是：

template<Foo ARG, typename... Ts>
inline bool DOIT( std::integral_constant<Foo, ARG>, Ts&&... args )
{
  return true;
}
template<Waldo ARG, typename... Ts>
inline bool DOIT( std::integral_constant<Waldo, ARG>, Ts&&... args )
{
    return false;
}

int main()
{
    std::cout << DOIT(std::integral_constant<Foo, Foo::Bar>{}) << std::endl;
    std::cout << DOIT(std::integral_constant<Waldo, Waldo::Fred>{}) << std::endl;
    return 0;
}

它适用于这个在线MSVC编译器。