3

我有一个问题，我试图将类模板的友元函数填充到boost::function：

#include <boost/function.hpp>

template <int N>
struct Vec{
   friend
   double dot(Vec, Vec){}
};

template class Vec<2>; //Force multiple instantiations
template class Vec<3>;

int main()
{
    boost::function<double  (Vec<2>, Vec<2>)> func = dot;
    double (*func1)(Vec<2>, Vec<2>) = dot;
}

中的两行都main不会编译。对于第一个，GCC 抱怨：

error: conversion from '<unresolved overloaded function type>' to non-scalar type 'boost::function<double(Vec<2>, Vec<2>)>' requested

第二行的错误对我来说似乎更令人困惑：

error: no matches converting function 'dot' to type 'double (*)(struct Vec<2>, struct Vec<2>)'
testtmpl.C:6:15: error: candidates are: double dot(Vec<2>, Vec<2>)
testtmpl.C:6:15: error:                 double dot(Vec<3>, Vec<3>)

我有点受阻，因为我不明白为什么double dot(Vec<2>, Vec<2>)不匹配。

关于这里发生了什么的任何想法？

4

2 回答 2

5

在我的理解中，如果一个类中定义了友元函数而没有其他对应的声明，那么友元名只能通过ADL查找。
§7.3.1.2/3 说：

在该命名空间范围内提供匹配声明之前，无法通过简单名称查找找到朋友的名称

代码将能够通过添加相应的函数声明来编译，
double dot(Vec<2>, Vec<2>); 如 这里。

于 2011-07-15T05:32:32.477 回答
0

这将起作用：

template <int N> struct Vec;

template <int K> double dot(Vec<K>, Vec<K>) { return 0; }

template <int N>
struct Vec
{
  friend double dot<>(Vec<N>, Vec<N>);
};

GCC 4.6.1 实际上给出了一个非常有用的警告：

warning: friend declaration ‘double dot(Vec<N>, Vec<N>)’ declares a non-template function [-Wnon-template-friend]
note: (if this is not what you intended, make sure the function template has already been declared and add <> after the function name here)
于 2011-07-14T21:21:39.640 回答