为何编译器检查此concept时会生成循环依赖错误？

问题描述 #

编译以下代码时会触发错误：

error: satisfaction of atomic constraint 'requires(T v) {bar(v);} [with T = T]' depends on itself

示例代码 #

#include<iostream>
#include<vector>

template<class T>
concept Barable = requires(T v)
{
    bar(v);
};

struct Foo
{
    template<class T> requires Barable<T>
    Foo(T) {};
};

void bar(Foo) {
    std::cout << "Foo";
};

void bar(std::vector<Foo>) {
    std::cout <<  "vector";
}

int main()
{
    auto v = std::vector<Foo>{};
    bar(v);
}

核心疑问 #

我理解检查该concept会导致循环依赖，但不明白为何编译器会报错。按我的理解，编译器应不将bar(Foo)加入重载集，转而使用bar(std::vector<Foo>)，其他类型都能正常工作。

原因分析 #

问题出在重载决议与概念约束检查的循环依赖上：
当调用bar(v)时，v的类型是std::vector<Foo>，编译器需要遍历所有候选bar函数：

1. 对于bar(std::vector<Foo>)，参数类型完全匹配，是直接候选。
2. 对于bar(Foo)，编译器需要检查是否可以将std::vector<Foo>隐式转换为Foo——这就需要验证Foo的模板构造函数是否可行。

Foo的模板构造函数要求模板参数T满足Barable<T>约束，这里T是std::vector<Foo>，所以需要检查Barable<std::vector<Foo>>是否成立，而这个检查的核心是requires(std::vector<Foo> v) { bar(v); }——这又回到了最初的bar(v)调用。

此时形成闭环：判断bar(Foo)是否为可行候选，需要检查Barable<std::vector<Foo>>；而检查Barable<std::vector<Foo>>，又需要先确定bar(v)的重载决议结果。C++标准要求概念的原子约束检查不能存在这种循环依赖，因此编译器直接报错，无法继续完成重载决议。

已知解决方法 #

• 已在gcc和clang的主干版本验证以下方案有效：
  • 将Foo(T)构造函数标记为explicit：禁用隐式转换，bar(Foo)不会被纳入候选，编译器直接匹配bar(std::vector<Foo>)。
  • 提供Foo(std::vector<Foo>)的显式构造函数：绕过模板构造函数的Barable约束，转换可行性直接确定，避免循环检查。
  • 更换为其他类型（如int或std::vector<int>）：这类类型的转换不会触发依赖bar调用的概念检查，循环依赖不成立。

背景 #

最初是在测试Sean Parent的《'Inheritance is the base class of all evil'》代码时发现此问题。

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