为什么 MSVC 不喜欢模板一的非模板重载函数？

Question

我无法弄清楚为什么以下代码（带有未定义的USE_TEMPLATE_SPECIALIZATION）在 Clang 中可以正常编译，但在 Visual Studio 15.5.5 中编译失败：

#include <iostream>
#include <type_traits>

// Defining USE_TEMPLATE_SPECIALIZATION fixes MSVC but breaks CLang...
//#define USE_TEMPLATE_SPECIALIZATION
//-----------------------------------------------------
#ifdef USE_TEMPLATE_SPECIALIZATION
template<typename Enum>
struct EnableBitMaskOperators {
    static const bool enable = false;
};

template<typename E>
constexpr typename std::enable_if<EnableBitMaskOperators<E>::enable, bool>::type
isSet(E e, E mask)
{
    using underlying_t = typename std::underlying_type<E>::type;
    return (static_cast<underlying_t>(e) & static_cast<underlying_t>(mask)) != 0;
}

#define ENABLE_BITMASK_OPERATORS(x)  \
template<>                           \
struct EnableBitMaskOperators<x> {   \
    static const bool enable = true; \
};
#else //-------------------------------------------------
template<typename E>
constexpr bool enable_bitmask_operators(E) { return false; }

template<typename E>
constexpr typename std::enable_if<enable_bitmask_operators(E{}), bool>::type
isSet(E e, E mask)
{
    using underlying_t = typename std::underlying_type<E>::type;
    return (static_cast<underlying_t>(e) & static_cast<underlying_t>(mask)) != 0;
}

#define ENABLE_BITMASK_OPERATORS(x) constexpr bool enable_bitmask_operators(x){ return true; }
#endif
//-----------------------------------------------------
namespace NOne {
namespace NTwo {
enum class ENUM_FLAGS {
    NONE = 0,
    ONE  = 1,
    TWO  = 2,
};
ENABLE_BITMASK_OPERATORS(ENUM_FLAGS);
}}
using namespace NOne::NTwo;

int main(int, char**)
{
    auto a = ENUM_FLAGS::NONE;
    std::cout << (isSet(a, ENUM_FLAGS::TWO)? "Should not happen" : "Bitwise flags work!") << std::endl;

    return 0;
}

很清楚为什么在第 5 行定义 USE_TEMPLATE_SPECIALIZATION 会破坏 Clang，但令人惊讶的是，它修复了 MSVC。

我真的很想弄清楚为什么第二种方法，非模板函数重载，不适用于 MSVC（我真的希望这不是 MSVC 错误，因为我相信它曾经可以工作），并感谢您的帮助！

感谢您的收看！

Answer 1

是的，这看起来确实是一种回归。您可以在https://aka.ms/vs-rap 的 VC++ 开发人员社区中输入问题吗？