由于标准库中不允许使用std::variant
与其替代类型进行比较,因此我正在使用 C++20 中的 <=>
操作符实现比较函数:
template <typename... Args, typename T>
constexpr auto operator<=>(const std::variant<Args...>& v, const T& t) {
return std::visit([&t](const auto& u) -> std::partial_ordering {
if constexpr (requires { u <=> t; }) return u <=> t;
else return std::partial_ordering::unordered;
}, v);
}
但是当我使用自己定义的
std::variant
来测试上述函数时:using Variant = std::variant<double, int, std::string_view>;
constexpr Variant v1{1.0};
constexpr Variant v2{1};
constexpr Variant v3{"hello"};
static_assert(v1 < 2);
// compile error
static_assert(v2 < 2);
static_assert(!(v3 > 2) && !(v3 < 2) && !std::is_eq(v3 <=> 2));
第二个断言无法编译,GCC 发出如下消息:
<source>:19:17: error: non-constant condition for static assertion
19 | static_assert(v2 < 2);
| ^~~~~~~~~
<source>:19:24: in 'constexpr' expansion of 'operator<=><double, int, std::basic_string_view<char, std::char_traits<char> >, int>(v2, 2)'
<source>:19:17: error: '<anonymous>' is not a constant expression
为什么
v2 < 2
不是一个常量表达式?或者这只是一个 GCC bug ?更奇怪的是,当我将第二个断言改为与 double
比较时,它可以编译通过:static_assert(v2 < 2.0);
更新:
Clang可以通过三个断言,但是MSVC只能通过第三个断言,看起来MSVC也存在一个错误。