使用模板友元函数时未解决的重载函数类型

Question

我有一个问题,我正在尝试将类模板的朋友函数填充到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>)不匹配.

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

Answer 1

根据我的理解,如果在没有其他相应声明的类中定义了友元函数,则只能通过ADL查找朋友姓名.
§7.3.1.2/ 3说:

在该命名空间作用域中提供匹配的声明之前,通过简单的名称查找找不到该好友的名称

代码将能够通过添加相应的函数声明来编译,
double dot(Vec<2>, Vec<2>); 就像这里一样 .