如何特化類模板成員函數？

Question

我有一個類模板，這是簡化的，有點像：

template<typename T> 
class A 
{ 
protected: 
    T _data; 
public: 
    A* operator%(const A &a2) const 
    { 
     A * ptr; 

     ptr = new A(this->_data % a2._data); 
     return ptr; 
    } 
}; 

並且從這個類繼承了另一個類：

class B : public A<double> 
{ 
    // ... 
}; 

但是，當我這樣做，編譯器說： ：

invalid operands of types ‘double’ and ‘const double’ to binary ‘operator%’ 

然後，我想我專門爲operator%雙和float因爲這些類型似乎不可能％。我在A類聲明後添加了以下代碼。

template<> 
A* A<double>::operator%(const A &a2) const 
{ 
    A * ptr; 
    ptr = new A((uint32_t)this->_data % (uint32_t)a2._data); 
    return ptr; 
} 

而且我得到這個錯誤，我真的不明白爲什麼...

In function `A<double>::operator%(A const&) const': 
./include/A.hpp:102: multiple definition of `A<float>::operator%(A const&) const' 
src/Processor.o:./include/A.hpp:102: first defined here 

Answer 1

如果實現專業化，類之外，它不再是內聯，因此將其定義多個倍。標記爲內聯：

template<> 
inline A* A<double>::operator%(const A &a2) const 
{ 
    A * ptr; 
    ptr = new A(this->_data % a2._data); 
    return ptr; 
} 

或將其移動到類定義中。

Answer 2

這是因爲與「真實」模板不同，全功能模板專業化就像鏈接和ODR方面的常規功能。而且，由於您在任何類之外將其專門化，因此不會像在類定義中定義的常規方法那樣隱式聲明內聯。

因此，你必須要麼聲明函數內聯的，或僅聲明它在頭和在像任何正常功能的源文件中定義它。