c++ - 如何在 Visual C++ 2019 社区中使用 c++20 std::is_constant_evaluated？

Question

MS 声称在其 conformance page 上支持 is_constant_evaluated并且它们的 header 确实包含一个实现，由 #if _HAS_CXX20 保护。

似乎(至少在 MSVC Community 16.6.5 中)/std:c++latest 不会导致定义 _HAS_CXX20。 UI 不提供/std:c++20 选项。

例如

    #include <type_traits>
    static_assert( std::is_constant_evaluated(), "" );
    #ifdef _HAS_CXX20
    static_assert(false, "");
    #endif

给出以下输出:

1>ConsoleApplication7.cpp
1>ConsoleApplication7.cpp(3,21): error C2039: 'is_constant_evaluated': is not a member of 'std'
1>C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC\Tools\MSVC\14.26.28801\include\type_traits(20): message : see declaration of 'std'
1>ConsoleApplication7.cpp(3,42): error C3861: 'is_constant_evaluated': identifier not found
1>ConsoleApplication7.cpp(5,15): error C2338:
1>Done building project "ConsoleApplication7.vcxproj" -- FAILED.
========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========

请注意，使用 is_constant_evaluated 会产生错误，而 static_assert 则不会。

我错过了什么？

Answer 1

它对我来说工作正常，_HAS_CXX20 设置正确。并且 is_constant_evaluated 按预期工作。

std::cout << _HAS_CXX20;

输出1。

我的实现:

#if _HAS_CXX20
// FUNCTION is_constant_evaluated
_NODISCARD constexpr bool is_constant_evaluated() noexcept {
    return __builtin_is_constant_evaluated();
}
#endif // _HAS_CXX20

问题似乎是您使用的是 #ifdef 而不是 #if。