Сообщение об ошибке & quot; неопределенная ссылка на функцию шаблона, переданную как параметр шаблона & quot;

Когда я передаю функцию шаблона в качестве параметра шаблона базового класса, компоновщик жалуется, что не может связать функцию:

#include <stdio.h>

template<int I> inline int identity() {return I;}
//template<> inline int identity<10>() {return 20;}

template<int (*fn)()>
class Base {
public:
int f() {
return fn();
}
};

template<int Val>
class Derived : public Base<identity<10> > {
public:
int f2() {
return f();
}
};

int main(int argc, char **argv) {
Derived<10> o;
printf("result: %d\n", o.f2());
return 0;
}

Результаты в:

$ g++ -o test2 test2.cpp && ./test2
/tmp/ccahIuzY.o: In function `Base<&(int identity<10>())>::f()':
test2.cpp:(.text._ZN4BaseIXadL_Z8identityILi10EEivEEE1fEv[_ZN4BaseIXadL_Z8identityILi10EEivEEE1fEv]+0xd): undefined reference to `int identity<10>()'
collect2: error: ld returned 1 exit status

Если я закомментирую специализацию, то код компилируется и ссылки, как и ожидалось. Кроме того, если я наследую от Base<identity<Val> > вместо Base<identity<10> >код работает, как я ожидаю.

Попробуйте здесь: http://coliru.stacked-crooked.com/a/9fd1c3aae847aaf7

Что мне не хватает?

22

Решение

Кажется, проблема в ошибке gcc: код компилируется и связывается с помощью clang, icc и внешнего интерфейса EDG. Потенциальным обходным решением, не меняющим какое-либо использование, будет использование шаблона класса. identity вместо функции:

template<int I>
struct identity {
operator int() { return I; }
};

template<typename fn>
class Base {
public:
int f() {
return fn();
}
};
19

Другие решения

Поднятие его в typedef делает его компиляцией, т.е.

typedef Base< identity<10> > base10;

Я не совсем уверен, почему делать это прямо в определении класса не работает.

http://coliru.stacked-crooked.com/a/f00b4f4d1c43c2b0

9

По вопросам рекламы [email protected]