C++20：直接使用Concept与requires关键字的区别是风格差异吗？

在你给出的示例中，template <Float T>和template <typename T> requires Float<T>的表现完全一致，但这种一致性仅适用于单个模板参数满足单一concept的场景。两种语法并非在所有情况下等价，template <...> requires ...能覆盖更多复杂的约束场景，具体差异和适用场景如下：

一、仅当单个参数满足单一concept时，二者等价 #

当约束逻辑只是“某个模板参数必须满足某一个预定义concept”时，两种写法没有功能区别，纯粹是风格偏好。比如你的Float concept示例，两种写法都会在模板实例化时检查T是否符合Float的要求，报错逻辑和实例化行为完全一致。

二、template <...> requires ...的专属适用场景 #

1. 多模板参数的关联约束 #

如果需要约束多个模板参数之间的关系（而非每个参数各自满足独立的concept），只能使用requires子句。比如要求第一个参数可以转换为第二个参数：

template <typename T, typename U>
requires std::convertible_to<T, U>
class TypeConverter {
public:
    U convert(T input) { return static_cast<U>(input); }
};

这种跨参数的关联约束无法通过template <Concept1 T, Concept2 U>的形式表达，因为约束逻辑是两个参数之间的依赖关系，而非单个参数的独立要求。

2. 单个参数的复合约束 #

当需要单个参数同时满足多个条件（多个concept或额外的编译期表达式）时，requires子句可以直接组合这些条件，无需提前定义新的concept。比如要求类型既是浮点类型又是平凡类型：

template <typename T>
requires std::floating_point<T> && std::is_trivial_v<T>
class TrivialFloatWrapper {
private:
    T value;
};

如果用参数位置的concept语法，你需要先定义一个合并这两个条件的新concept，而requires子句可以直接实现临时的复合约束。

3. 依赖模板参数的嵌套约束 #

有些约束需要依赖模板参数的嵌套类型、成员或表达式，比如要求容器的value_type是整数类型：

template <typename Container>
requires std::integral<typename Container::value_type>
class IntegerContainerProcessor {
public:
    void process(const Container& c) { /* 处理整数容器 */ }
};

这种依赖模板参数内部特性的约束，无法通过参数位置的concept语法直接表达，必须使用requires子句。

4. 函数重载与模板特化的精确控制 #

在函数模板重载或类模板部分特化中，requires子句可以实现更精细的条件匹配，甚至结合编译期表达式来区分重载优先级。比如：

// 基础版本
template <typename T>
void calculate(T val) { /* 通用逻辑 */ }

// 仅当T是正浮点类型时的重载
template <typename T>
requires std::floating_point<T> && (T{} > 0)
void calculate(T val) { /* 正浮点数专属逻辑 */ }

这种结合表达式的约束只能通过requires子句实现，参数位置的concept语法无法表达这类动态的编译期条件。

总结 #

• 简单场景（单个参数满足单一concept）：两种语法等价，优先选择template <Concept T>更简洁直观。
• 复杂场景（多参数关联、复合条件、嵌套依赖、重载/特化精细控制）：必须使用template <...> requires ...语法来实现需求。

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