这个程序是否违反ODR？

Question

考虑以下程序：

#include <type_traits>

template <typename T> constexpr bool g() { return true; }
template <typename T> std::enable_if_t< g<T>()> f() {}
template <typename T> std::enable_if_t<!g<T>()> f() {}

int main() { f<int>(); }

（编译器资源管理器）

GCC和Clang的各种版本都可以接受它，但MSVC不能接受它，因为MSVC编译失败，出现错误消息

1>D:\x.cpp(5,49): error C2995: 'enable_if<0,void>::type f(void)': function template has already been defined
1>D:\x.cpp(4): message : see declaration of 'f'
1>D:\x.cpp(4,49): error C3861: 'f': identifier not found

第一条错误消息向我暗示了ODR违规--但如果这个程序是格式不良的NDR，我需要帮助理解为什么会这样。我已经检查了标准草案中的temp.over.link，但我不相信我对它的解释是正确的。根据我的理解，程序是可以的，因为这些函数模板有不同的签名。

在不太可能的情况下，这个程序是正确的，为什么MSVC拒绝它？

Answer 1

MSVC这里有一个bug。

对于大多数函数，参数的等价足以指示错误。对于模板，还涉及返回类型表达式。

MSVC似乎忽略了返回类型表达式，并生成了一个错误，就好像它可以忽略它一样。

template <typename T, std::enable_if_t<g<T>(),bool> =true> void f() {}
template <typename T, std::enable_if_t<!g<T>(),bool> =true> void f() {}