模板类的双类型参数模板友元函数链接错误解决方法问询

我尝试让一个带有两个类型参数的模板函数成为模板类的友元，但遇到了链接问题。cast是转换函数，原始设计中无法改写为常规转换函数。注意，模板operator<<通过显式特化实现无问题，但cast需要类似部分特化的逻辑（而函数不允许部分特化）。

需求：如何（是否可行）在不显式实例化S<float>的情况下实现需求？

我尝试过移除S前的cast前置声明，无效果；尝试template <typename U> friend S<U> cast<U>(S<T> const &);，触发partial specialization not allowed错误。

简化示例代码 #

#include <iostream>

template <typename T>
struct S;

template <typename U, typename T>
S<U> cast(S<T> const &); // PROBLEMATIC!

template <typename T>
std::ostream& operator<< (std::ostream& os, S<T> const & s); // no problem

template <typename T>
struct S
{
public:
    S() = default;
    ~S() = default;
    S( S const & ) = default;
    S( S&& ) = default;
    S(T val) : value{val} {}

    template <typename U>
    friend
    S<U> cast(S<T> const &); // PROBLEMATIC!

    friend
    std::ostream& operator<< <T>(std::ostream& os, S<T> const & s); // no problem
private:
    T value;
};

template <typename T>
inline std::ostream& operator<< (std::ostream& os, S<T> const & s) // no problem
{ return os << s.value; }

template <typename T, typename U>
S<U> cast(S<T> const & src) // problematic!
{return {static_cast<U>(src.value)};}

int main()
{
    S<int> s1{ 10 };
    auto s2{ cast<float>(s1) }; // linker error
    std::cout << s1 << ' ' << s2;
    return 0;
}

错误信息 #

尝试cast<U>语法时的编译错误：

<source>:26:10: error: function template partial specialization is not allowed
   26 |     S<U> cast<U>(S const &);
      |          ^   ~~~
1 error generated.

原始代码的链接错误：

/opt/compiler-explorer/gcc-14.2.0/lib/gcc/x86_64-linux-gnu/14.2.0/../../../../x86_64-linux-gnu/bin/ld: /tmp/example-fd62b9.o: in function `main':
<source>:45:(.text+0x22): undefined reference to `S<float> cast<float>(S<int> const&)' 
clang++: error: linker command failed with exit code 1 (use -v to see invocation)

解决方案 #

问题根源在于友元声明没有正确匹配我们定义的双参数cast模板——当前的友元声明实际创建了一个新的单参数模板，而非关联已存在的双参数模板。

修改方法：

1. 保留双参数cast的前置声明
2. 在S类的友元声明中，使用空模板参数列表<>, 明确告知编译器这是对已存在双参数模板的特化：

修改后的完整代码：

#include <iostream>

template <typename T>
struct S;

// 前置声明双参数cast模板
template <typename U, typename T>
S<U> cast(S<T> const &);

template <typename T>
std::ostream& operator<< (std::ostream& os, S<T> const & s);

template <typename T>
struct S
{
public:
    S() = default;
    ~S() = default;
    S( S const & ) = default;
    S( S&& ) = default;
    S(T val) : value{val} {}

    // 友元声明：绑定到已存在的双参数cast模板，T为当前S的模板参数，U为cast的第一个参数
    template <typename U>
    friend S<U> cast<>(S<T> const &);

    friend std::ostream& operator<< <T>(std::ostream& os, S<T> const & s);
private:
    T value;
};

template <typename T>
inline std::ostream& operator<< (std::ostream& os, S<T> const & s)
{ return os << s.value; }

template <typename U, typename T>
S<U> cast(S<T> const & src)
{return {static_cast<U>(src.value)};}

int main()
{
    S<int> s1{ 10 };
    auto s2{ cast<float>(s1) }; // 正常链接运行
    std::cout << s1 << ' ' << s2;
    return 0;
}

说明 #

• 友元声明中的cast<>(S<T> const &)使用<>, 明确这是对已存在的双参数cast模板的特化，而非新模板。此时U对应cast的第一个模板参数，T对应当前S的模板参数，完美匹配我们定义的双参数cast函数。
• 该方案无需显式实例化S<float>，即可让cast正确访问S<T>的私有成员，解决链接错误。

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