如何在C++20无Concepts环境下模板类外声明模板友元运算符重载

我在无Concepts的C++20环境下定义了模板类profile_integer：

template<typename T>
class profile_integer;

为其定义乘法运算符时，首先声明了同类型相乘的友元运算符：

friend constexpr profile_integer<T> operator*<T>(const profile_integer<T>& lhs, const profile_integer<T>& rhs);

为处理不同类型相乘，又声明了另一友元运算符：

friend constexpr typename std::enable_if<! std::is_same<profile_integer<T>, V>::value, profile_integer<T>>::type operator*(const V& lhs, const profile_integer<T>& rhs);

在类外定义这两个运算符后，第二个友元声明出现错误：inline function 'operator*<int>' is not defined；尝试指定模板参数时触发function template partial specialization is not allowed错误；移除constexpr可编译但链接失败。

尝试用mul函数替代乘法运算符，直接调用可正常工作，但将其声明为友元后编译通过却链接失败。希望在不内联定义友元的前提下解决该问题，并理解背后原理。

错误原因分析 #

• 不同类型相乘的友元声明问题：第二个友元声明中V是未声明的模板参数，编译器无法识别这是模板函数声明，反而将其当作非模板函数处理，引发"未定义内联函数"错误。即使补全V的模板参数声明，写法不当也会触发函数模板部分特化的禁止规则。
• 链接失败的核心原因：友元函数在类内声明但类外定义时，若未正确关联模板类实例化与友元函数模板实例化，编译器会将友元视为独立模板函数，导致链接阶段无法匹配实例化定义。另外，constexpr函数默认内联，若类外定义未匹配声明的内联属性，也会引发链接错误。

解决方案 #

1. 同类型相乘的友元运算符 #

确保友元是模板函数，与模板类参数正确关联：

// 类内声明
template<typename T>
class profile_integer {
    template<typename U>
    friend constexpr profile_integer<U> operator*(const profile_integer<U>& lhs, const profile_integer<U>& rhs);
};

// 类外定义
template<typename U>
constexpr profile_integer<U> operator*(const profile_integer<U>& lhs, const profile_integer<U>& rhs) {
    // 示例实现：假设类内有value成员
    return profile_integer<U>{lhs.value * rhs.value};
}

2. 不同类型相乘的友元运算符 #

显式声明模板参数V，结合SFINAE实现条件重载：

// 类内声明
template<typename T>
class profile_integer {
    template<typename V>
    friend constexpr typename std::enable_if<!std::is_same_v<V, profile_integer<T>>, profile_integer<T>>::type
    operator*(const V& lhs, const profile_integer<T>& rhs);
};

// 类外定义
template<typename T, typename V>
constexpr typename std::enable_if<!std::is_same_v<V, profile_integer<T>>, profile_integer<T>>::type
operator*(const V& lhs, const profile_integer<T>& rhs) {
    // 示例实现
    return profile_integer<T>{static_cast<T>(lhs) * rhs.value};
}

mul函数的友元修正方案 #

同样确保模板参数的正确关联：

// 类内声明
template<typename T>
class profile_integer {
    template<typename U, typename V>
    friend constexpr profile_integer<U> mul(const V& lhs, const profile_integer<U>& rhs);
};

// 类外定义
template<typename U, typename V>
constexpr profile_integer<U> mul(const V& lhs, const profile_integer<U>& rhs) {
    return profile_integer<U>{static_cast<U>(lhs) * rhs.value};
}

背后原理 #

• 模板友元的匹配规则：模板类的友元函数若为模板类型，必须在类内明确声明模板参数列表（如template<typename U>），否则编译器会将其视为非模板函数，无法匹配类外的模板定义。
• constexpr与内联的关联：C++中constexpr函数默认带有inline属性，类内声明的constexpr友元，其类外定义需保持一致的内联属性（无需显式写inline，constexpr已隐含），否则链接器会因定义不匹配报错。
• 函数模板部分特化的限制：C++禁止函数模板的部分特化，因此不能直接对operator*针对特定类型特化，只能通过std::enable_if这类SFINAE技术实现条件化重载。

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