如何为成员函数声明concept并在友元函数中使用该约束

报错根本原因 #

编译错误来自友元声明阶段触发了过早的concept约束检查：
当你在类A<T>的定义内部写friend std::ostream& operator<< <A<T>>(...)时，编译器需要匹配到对应的operator<<模板特化，此时就会检查Sizable<A<T>>约束是否成立。但此时类A<T>还处在定义过程中，属于不完整类型，访问a.size()的concept检查自然会触发不完整类型访问错误。

可行的实现方案 #

方案1：友元函数定义移至类内部（你已验证可行） #

这是最简洁的实现方式，类内定义的友元函数属于隐式内联，且仅能通过ADL（参数依赖查找）找到，不会污染全局命名空间。同时类内定义友元时，类的成员声明已经完成，后续实例化operator<<时A<T>已经是完整类型，不会触发不完整类型检查错误。

#include <iostream>
#include <vector>

template<class T>
concept Sizable = requires(T a)
{
    {a.size()} -> std::same_as<size_t>;
};

template<class T>
class A {
    std::vector<T> storage;
public:
    size_t size() const { return storage.size();}
    // 类内定义友元operator<<
    friend std::ostream& operator<<(std::ostream& os, const A<T>& a)
    {
        for (size_t i = 0; i < a.size(); ++i) {
            os << a.storage[i] << " ";
        }
        return os;
    }
};

// 通用的Sizable类型operator<<，可给其他满足Sizable的类使用
template<Sizable T>
std::ostream& operator<<(std::ostream& os, const T& a)
{
    for (size_t i = 0; i < a.size(); ++i) {
        // 自定义通用输出逻辑
    }
    return os;
}

int main()
{
    A<int> a;
    std::cout << a;
}

方案2：声明整个operator<<模板为友元，避免提前约束检查 #

不需要为单个A<T>特化声明友元，直接将所有满足Sizable约束的operator<<模板声明为友元，此时友元声明阶段不需要检查Sizable<A<T>>，等到实际调用operator<<时A<T>已经是完整类型，约束检查可以正常通过。

#include <iostream>
#include <vector>

template<class T>
concept Sizable = requires(T a)
{
    {a.size()} -> std::same_as<size_t>;
};

// 前置声明带约束的operator<<
template<Sizable T>
std::ostream& operator<<(std::ostream& os, const T& a);

template<class T>
class A {
    std::vector<T> storage;
public:
    size_t size() const { return storage.size();}
    // 声明整个带约束的operator<<模板为友元，不需要指定特化
    template<Sizable U>
    friend std::ostream& operator<<(std::ostream& os, const U& a);
};

template<Sizable T>
std::ostream& operator<<(std::ostream& os, const T& a)
{
    for (size_t i = 0; i < a.size(); ++i) {
        // 如果T是A<U>，可以直接访问私有成员storage
        // os << a.storage[i] << " ";
    }
    return os;
}

int main()
{
    A<int> a;
    std::cout << a;
}

方案3：延后concept约束检查的时机 #

可以将Sizable的检查从函数模板参数列表移到函数体内的requires表达式，或者在concept中增加类型完整性的前置判断，避免在不完整类型阶段触发检查，不过这种方式可读性不如前两种，不推荐优先使用。

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