0

我想定义一个模板类Foo<T>和一个模板函数func<T>，所以它func<T>是 for 的朋友Foo<T>，但func<T1>不是Foo<T2>for的朋友T1 != T2。据我所知，有两种方法可以做到这一点。

1：

template < typename T >
class Foo;

template < typename T >
void func(Foo<T> x);

template < typename T >
class Foo {
    friend void func<>(Foo<T>);
};

template < typename T >
void func(Foo<T> x) {}

2：

template < typename T >
class Foo;

template < typename T >
void func(Foo<T> x);

template < typename T >
class Foo {
    friend void func(Foo) {}
};

在这两种情况下，我都可以func这样打电话

int main(void) {
    Foo<int> a;
    func(a);

但是当我尝试获取函数指针时

    (&func)(a);
}

第二个版本因链接器错误而失败：

/tmp/ccOICrUD.o: In function `main':
foo2.cpp:(.text+0x2c): undefined reference to `void func<int>(Foo<int>)'
collect2: error: ld returned 1 exit status

这是为什么？以及如何获得指向上面＃2中的函数的函数指针？

4

1 回答 1

2 
template < typename T >
void func(Foo<T> x);

这声明但确实定义了一个模板函数。

template < typename T >
class Foo {
    friend void func(Foo) {}
};

这不会定义模板并使其成为朋友。这有效地定义了一个非模板函数

void func(foo<T>)
{
}

作为一个朋友。

这与模板函数不同。如果你想引用模板函数，那么你可以这样做：

template < typename T >
class Foo {
    friend void func<>(Foo);
};

就像你的第一个例子一样。现在，也没有

func(a);

也不

(&func)(a);

链接，因为，当然，在第二种情况下，您还没有定义模板函数。一旦它被定义，您实际上就拥有与第一个示例相同的程序。

于 2019-08-18T16:56:55.247 回答