使用friend injection与requires clause遇编译错误求助

问题代码 #

template<int X>
struct MaximumValue{};

template<int X>
auto injectMaximumValue(MaximumValue<X>);

template<int X>
struct MaximumValueInjector {
    template<int U> requires(U == X)
    friend auto injectMaximumValue(MaximumValue<U>) {}
};


int main() {
    MaximumValueInjector<0> _;
    injectMaximumValue(MaximumValue<0>{});
}

编译错误信息 #

prog.cc:16:5: error: function 'injectMaximumValue<0>' with deduced return type cannot be used before it is defined
   16 |     injectMaximumValue(MaximumValue<0>{});
      |     ^
prog.cc:5:6: note: 'injectMaximumValue<0>' declared here
    5 | auto injectMaximumValue(MaximumValue<X>);
      |      ^
1 error generated.

问题背景 #

移除requires(U == X)后代码可正常编译，但明明调用时U和X均为0满足约束条件，却出现编译错误。已知一种解决方案是让injectMaximumValue成为MaximumValue的友元，疑惑是否是requires子句改变函数原型导致无法匹配重载。

问题原因 #

你的猜测完全正确，requires子句改变了函数的重载决议逻辑，具体细节如下：

• 全局声明的injectMaximumValue是一个单模板参数的函数模板：template<int X> auto injectMaximumValue(MaximumValue<X>);
• 友元注入的版本是嵌套在MaximumValueInjector中的带约束函数模板：template<int U> requires(U == X) friend auto injectMaximumValue(MaximumValue<U>) {}，这里的X是外层类模板的参数。
• 当在main中调用函数时，编译器优先匹配全局声明的模板。由于该模板使用推导返回类型auto，编译器需要找到对应的定义来推导返回值，但此时友元版本无法被识别为全局模板的特化——因为带requires约束的友元模板是一个独立的、受约束的函数模板，和全局模板不属于同一重载集合。
• 编译器认为全局模板的injectMaximumValue<0>只有声明没有定义，因此抛出错误。

而移除requires约束后，友元模板的签名和全局声明完全一致，此时友元版本会被视为全局模板的定义，编译器可以正常推导返回类型，代码自然编译通过。

可行解决方案验证 #

你提到的将injectMaximumValue设为MaximumValue的友元是正确的思路，修改后的代码示例：

template<int X>
struct MaximumValue {
    friend auto injectMaximumValue(MaximumValue<X>) {}
};

template<int X>
auto injectMaximumValue(MaximumValue<X>);

int main() {
    injectMaximumValue(MaximumValue<0>{});
}

这里的友元函数是针对特定X的隐式特化，能和全局声明的模板正确关联，编译器可以找到定义并完成返回类型推导。

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