Неразрешенный тип перегруженной функции при использовании функции друга шаблона - PullRequest
Новая
       24

Неразрешенный тип перегруженной функции при использовании функции друга шаблона

3 голосов
/ 15 июля 2011

У меня есть проблема, когда я пытаюсь вставить функцию друга шаблона класса в 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>) не совпадает.

Есть идеи, что здесь происходит?

Ответы [ 2 ]

5 голосов
/ 15 июля 2011

В моем понимании, если функция друга определена в классе без других соответствующих объявлений, имя друга можно найти только через ADL.
§7.3.1.2 / 3 говорит:

Имя простого друга не может быть найдено при простом поиске по имени, пока не будет предоставлено соответствующее объявление в этой области пространства имен

Код можно будет скомпилировать, добавив соответствующее объявление функции
double dot(Vec<2>, Vec<2>); вроде здесь .

0 голосов
/ 15 июля 2011

Это будет работать: 

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)
...