否定一个概念 (C++20)

Question

玩耍时，我注意到以下代码在 MSVC 19.27 上编译

template <typename T>
concept defined = true;

template <!defined T>             // <=== !!!!!!!!
inline auto constexpr Get()
{
    return 5;  
}

这是怎么回事？ 允许这种语法是一个坏主意吗？

Answer 1

不，当它们用作占位符或简洁模板语法的一部分时，您不能将运算符应用于概念。 如果您需要这样做，那么您需要创建一个新概念或使用requires子句将其拼写为长格式。

Answer 2

你是对的; MSVC 19.27 和 19.28（VS16.9 之前）支持带有!的语法用于否定概念（参见编译器资源管理器）。

即使 C++20 中不允许这种语法，你也可以做一些非常接近的事情

template<typename T>
concept defined = your_rule_on<T>;

template <typename T>
requires defined<T>
inline auto constexpr Get() { /* ... */ }

template <typename T>
requires(!defined<T>) // <=== !
inline auto constexpr Get() { /* ... */ }

演示