如何用C++ Concept优雅验证类内using声明的类型为int？

你可以直接通过类型等价判断实现需求，不需要借助std::vector或构造临时对象，这是最简洁高效的方案：

template<typename Foo>
concept FooConcept = std::same_as<typename Foo::Bar, int>;

static_assert(FooConcept<FooImpl>);

为什么你的尝试不生效？ #

你写的{ (typename Foo::Bar)() } -> std::same_as<int>存在两个问题：

1. 语法问题：在requires表达式的断言中，这种强制转换构造临时对象的写法不符合语法规范，即便改成typename Foo::Bar{}的形式也不推荐。
2. 逻辑冗余：我们只需要检查类型本身是否等价，完全不需要构造对象——如果Foo::Bar是无默认构造函数的类型，这种写法会误判（类型符合但因无法构造对象导致concept不满足）。

额外补充：明确检查嵌套类型存在性 #

如果你想先确保Foo确实包含Bar嵌套类型，再验证其类型，可以结合requires表达式的存在性检查：

template<typename Foo>
concept FooConcept = requires {
    typename Foo::Bar; // 确保Foo存在Bar嵌套类型
} && std::same_as<typename Foo::Bar, int>;

不过第一种写法已经足够：如果Foo没有Bar类型，typename Foo::Bar会直接触发编译错误，concept会自动判定不满足，编译器也会给出清晰的错误提示。

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