如何用Concept检查类型中是否存在指定类型别名？

当然可以通过C++20的Concept来检查类型内部是否定义了指定名称的类型别名，下面是具体的实现方案：

核心实现代码 #

直接在Concept的requires块中验证typename T::Bar是否为合法类型即可：

template <typename T>
concept HasBarType = requires {
    typename T::Bar; // 检查T是否包含名为Bar的类型别名
};

template <HasBarType T>
void foo() {
    [[maybe_unused]] T::Bar bar;
}

验证示例 #

符合要求的类型 #

struct ValidType {
    using Bar = int; // 定义了Bar类型别名
};

foo<ValidType>(); // 合法，编译通过

不符合要求的类型 #

struct InvalidType {
    // 没有定义Bar类型别名
};

foo<InvalidType>(); // 编译失败，Concept约束不满足

补充说明 #

这种写法的核心是利用requires表达式的类型有效性检查：如果typename T::Bar是一个合法的类型（即T内部确实存在名为Bar的类型别名或嵌套类型），则Concept的条件成立，否则不成立。

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