C++20概念检查中受限函数调用的编译器行为差异及咨询

当通过调用受限函数定义C20概念时，G与Clang存在明显行为差异：G++会在函数调用无效时接受对应类型，而Clang则会拒绝该类型。

代码示例 #

// 受限函数
template <class T>
constexpr void foo1(const T& type)
  requires requires { type.foo(); }{}

// 函数体包含待检查表达式
template <class T>
constexpr auto foo2(const T& type)
  { type.foo(); }                       // (x)

// 检查foo1调用合法性的概念
template <class T>
concept checkFoo1 = requires(T t) { foo1(t); };

// 检查foo2调用合法性的概念
template <class T>
concept checkFoo2 = requires(T t) { foo2(t); };

测试代码与编译器行为差异 #

struct Test 
{
  // void foo() const {}
};

int main()
{
  static_assert(checkFoo1<Test>);   // (1)
  static_assert(checkFoo2<Test>);   // (2)
  static_assert(!checkFoo1<Test>);  // (3)
  static_assert(!checkFoo2<Test>);  // (4)
}

• Clang-15：(1)(2)触发静态断言失败，(3)(4)成功，同时在(x)处报错
• G++-12：(1)(4)触发静态断言失败，(2)(3)成功，同时在(x)处报错

两种编译器的静态断言错误仅笼统提示"函数调用无效"，未说明foo()成员未找到的具体原因。

1. 符合C++标准的正确行为是什么？依据是什么？ #

正确行为应为**checkFoo1<Test>的值为false**，即Clang的行为符合标准。

依据来自C++20标准中requires表达式与模板重载决议的核心规则：

• 在requires表达式中调用foo1(t)时，编译器需对foo1做模板实参推导，并检查其约束是否满足。
• foo1的约束是requires { type.foo(); }，对于Test类型，type.foo()是无效表达式，因此foo1的约束不满足，该函数模板对Test不可行。
• 若requires表达式中的函数调用无可行重载匹配，则该表达式无效，对应概念值为false。

G++的行为违反标准，错误地将约束不满足的foo1视为可行候选，导致checkFoo1<Test>被判定为true。

2. 如何通过受限函数进行概念检查，并获取调用无效的详细原因？ #

针对递归式概念检查（如检查元组所有元素、类型树节点合规性），可通过以下方式实现并保留详细错误信息：

方法一：直接在概念中嵌入递归逻辑 #

避免通过受限函数间接检查，直接在requires表达式中编写递归约束。例如检查元组所有元素符合指定概念：

template <typename Concept, typename Tuple, size_t... Is>
constexpr bool tuple_all_impl(std::index_sequence<Is...>) {
    return (Concept<std::tuple_element_t<Is, Tuple>> && ...);
}

template <typename Concept, typename Tuple>
concept TupleAll = tuple_all_impl<Concept, Tuple>(std::make_index_sequence<std::tuple_size_v<Tuple>>{});

这种方式下，编译器会直接报告哪个元素未满足概念的具体原因。

方法二：使用带约束的辅助模板替代函数 #

若需通过辅助结构实现递归，优先使用模板结构体而非函数，将约束放在特化条件中：

template <typename T>
struct CheckFooHelper {
    static constexpr bool value = requires(const T& t) { t.foo(); };
};

template <typename T>
concept checkFoo = CheckFooHelper<T>::value;

此方式能让编译器在计算value时，直接暴露t.foo()无效的具体错误。

方法三：启用编译器诊断增强选项 #

部分编译器支持通过特定选项展开约束检查的详细过程：

• Clang：使用-fdiagnostics-show-template-tree展示模板约束失败的层级关系
• G++：使用-fconcepts-diagnostics-depth=N（N为大于1的整数）展开约束检查的详细步骤

这些选项可帮助定位递归检查中哪一步约束未满足，以及具体失败原因。

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