C++20 Concept有效性验证：示例代码是否符合标准规范？

问题描述 #

我正在学习C20 Concept，遇到一段示例代码，不确定它是否符合C标准（是否为良构代码）。这段代码能被所有主流编译器接受，现将代码附上，想请教该代码是否属于良构代码，或是属于ill-formed NDR？若存在问题，应如何修正？

原代码 #

//define Element so that you can use it in vector require clause
template<typename T> bool constexpr Element(){
    if constexpr(std::is_same_v<T, int>)
    {
        return true;
    }
    else 
    {
        return false;
    }
};

template<typename T>        // for all types T
    requires (Element<T>())   // such that T is an Element
class vector {
        //...
};
int main()
{
    vector<int> v;
    
}

代码良构性分析 #

这段代码是符合C++标准的良构代码，不属于ill-formed NDR（格式错误无诊断要求）。

原因在于：C++20允许在requires子句中调用可常量求值的constexpr函数，只要该函数在编译期能确定返回布尔值。这里的Element<T>()是模板化的constexpr函数，对于任意给定的模板参数T，都能在编译期通过if constexpr分支确定返回true或false，完全满足requires子句的常量求值要求，因此编译器可以正确处理这段代码。

不过，这种写法属于用constexpr函数模拟Concept的冗余实现，完全违背了C++20引入Concept的设计意图。

优化修正方案 #

C++20的Concept专门用于定义类型约束，直接使用Concept能让代码更清晰、符合语言规范，同时获得更好的诊断信息和扩展性。

方案1：定义标准Concept #

#include <concepts>

template<typename T>
concept Element = std::same_as<T, int>;

template<typename T>
    requires Element<T>
class vector {
    //...
};

int main()
{
    vector<int> v;
}

方案2：直接使用标准Concept约束模板参数 #

如果不需要复用Element这个约束名称，还可以进一步简化：

#include <concepts>

template<std::same_as<int> T>
class vector {
    //...
};

int main()
{
    vector<int> v;
}

为什么原写法不推荐 #

• 可读性差：其他开发者一眼就能看出这不是标准的Concept写法，增加代码维护成本。
• 功能受限：无法利用Concept的特性，比如组合多个约束、生成更友好的编译错误诊断信息等。

内容的提问来源于stack exchange，提问作者user19414420