C++20 Concepts约束using类型别名未生效，求原因分析

首先明确：这个问题完全是代码写法的问题，和clang对Concepts的稳定性无关——clang对C++20 Concepts的支持已经相当成熟了。

你定义的i_am_integral概念存在核心逻辑错误：

template <typename T>
concept i_am_integral = requires { std::is_integral_v<T> == true; };

这里的requires { ... }块是在验证括号内的表达式是否能够合法编译，而不是验证表达式的结果为true。

对于任何类型T，std::is_integral_v<T>都是一个合法的编译期布尔常量，所以std::is_integral_v<T> == true这个表达式永远能通过编译——哪怕它的结果是false（比如T=double时）。这就导致你的i_am_integral概念对所有类型都成立，自然intvector就和原生std::vector一样能接受任意类型了。

你有几种方式修复这个Concept：

方式一：直接用编译期布尔值定义Concept #

Concept可以直接绑定到编译期布尔表达式，不需要requires块：

template <typename T>
concept i_am_integral = std::is_integral_v<T>;

方式二：使用C++20标准库提供的std::integral概念 #

C++20标准库已经在<concepts>头文件中提供了现成的std::integral概念，直接用它更简洁可靠：

#include <iostream>
#include <type_traits>
#include <vector>
#include <concepts> // 必须包含这个头文件

template <typename T>
requires std::integral<T>
using intvector = std::vector<T>;

// 后续代码不变...

方式三：用requires表达式检查类型行为（可选） #

如果你想自己通过类型行为来定义整数概念（而不是依赖std::is_integral），可以这样写（不过这种方式不如直接用标准库或std::is_integral_v直接）：

template <typename T>
concept i_am_integral = requires(T a, T b) {
    // 检查整数特有的操作是否合法
    a + b;
    a % b;
    static_cast<long long>(a);
};

修改后，intvector<double>和intvector<S>都会触发编译错误，符合你最初的预期——只有整数类型才能被intvector接受。

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