C++20 concept疑问：为何示例代码返回0？何时返回1？

为什么代码返回0？ #

你定义的concept A要求：对于类型T的对象t，表达式{t}的类型必须与bool完全匹配（通过std::same_as<bool>约束）。

但在C++中，{t}这类表达式会被解析为单元素初始化器列表，其实际类型是std::initializer_list<T>。当T为bool时，{t}的类型是std::initializer_list<bool>，和bool并非同一类型，因此A<bool>不满足概念要求，被评估为false，输出时转为整数0。

代码什么时候会返回1？ #

原生C++类型中不存在能让{t}类型为bool的T——因为任何类型的t生成的{t}都是std::initializer_list<T>类型。如果是想实现以下两种常见需求，可修改concept定义：

• 若要检查T是否就是bool类型：

template<typename T>
concept A = std::same_as<T, bool>;

此时A<bool>会被评估为true，输出1。

• 若要检查T能否转换为bool：

template<typename T>
concept A = requires(T t) { static_cast<bool>(t); };

此时所有可隐式/显式转换为bool的类型（如bool、int、指针类型等）都会满足A<T>，输出1。

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