编译器和模板处理

Question

sibedir

Asked:2024-12-10 20:54:54 +0800 CST2024-12-10 20:54:54 +0800 CST 2024-12-10 20:54:54 +0800 CST

如何在MSVC中重载标准type_traits？

template <typename T>
struct MyT {};

template <typename T>
constexpr bool std::is_void_v<MyT<T>> = true;

static_assert(std::is_void_v<MyT<int>>);

在clang和gcc 中static_assert正常工作。但msvc认为，is_void_v仍然是false。

我已经遇到过这样一个事实：在msvc中，有些事情的行为与纯 C++ 中的行为并不完全相同，但据我所知，可以使用编译器指令来调节这一点。也许这里也有一些指令？或者这纯粹是一个错误（功能））））？那么，或者如何将它们重新加载到msvc中？

sibedir · Answer 1 · 2024-12-11T11:03:40+08:00

Best Answer

sibedir

正如 @user7860670 在评论中正确指出的那样（谢谢），我描述的情况是标准模板的自定义专业化。而对于这种情况，标准中也有相应的说明。

21.3.2[4]除非另有说明，为 [type.traits] 中的任何模式添加特化的程序的行为是未定义的。