模板运行的版本，从调试

Question

不同我有一个像下面

template<typename T> 
inline void UnusedParameter(T const&) 
{ 

} 

class Client 
{ 
public: 
    template<class T> 
    void runFFT(T *wSamples, float const &fMult) 
    { 
    std::cout << "INSIDE RUNFFT : : :" << std::endl; 
    UnusedParameter(wSamples); 
    UnusedParameter(fMult); 
    } 
}; 

在我CPP的对象，我有以下：

#include "object.hpp" 

template<> 
void Client::runFFT<int16_t>(int16_t *wSamples, float const &fMult) 
{ 
    std::cout << "INSIDE INT16_T version: : :" << std::endl; 
    UnusedParameter(wSamples); 
    UnusedParameter(fMult); 
} 

template<> 
void Client::runFFT<Ipp32f>(Ipp32f *wSamples, float const &fMult) 
{ 
    std::cout << "INSIDE IPP32F version: : :" << std::endl; 
    UnusedParameter(wSamples); 
    UnusedParameter(fMult); 
} 

这两种实现上运行，而不在我的调试代码中的任何问题。它进入int16_t版本没有问题，Ipp32f版本也没有问题。

但是，当我尝试运行版本，它只进入模板，就像编译器只编译标题中的模板实现。

如何防止发生这种情况？我应该删除这个，只是创建两种不同的方法？我喜欢我的模板，但这些海森堡错误令人沮丧。

感谢您的任何意见。

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

安迪警车回答了这个问题，并就解决了在HPP中执行以下操作：

template<typename T> 
inline void UnusedParameter(T const&) 
{ 

} 

class Client 
{ 
public: 
    template<class T> 
    void runFFT(T *, float const &) 
    { 
    // Thanks for Joachim for removing my Unused Parameter crap 
    std::cout << "INSIDE RUNFFT : : :" << std::endl; 
    } 
}; 

template<> 
void Client::runFFT<int16_t>(int16_t *wSamples, float const &fMult); 

template<> 
void Client::runFFT<Ipp32f>(Ipp32f *wSamples, float const &fMult); 

现在它在运行时也起作用。 CPP保持不变。

Answer 1

的问题是最有可能在你降级你的成员函数runFFT()的专长在单独.cpp文件int16_t和Ipp32f无主模板后，提供相应的声明的事实，所以编译器在实例化点（这可能属于另一个翻译单元，只有包含Client的定义的头文件）不知道这些显式专业化的存在。

将一个声明对于那些专业为包含类模板的定义相同的头文件：在C++ 11标准的

template<typename T> 
inline void UnusedParameter(T const&) { } 

class Client 
{ 
public: 
    template<class T> 
    void runFFT(T *wSamples, float const &fMult) 
    { 
     std::cout << "INSIDE RUNFFT : : :" << std::endl; 
     UnusedParameter(wSamples); 
     UnusedParameter(fMult); 
    } 
}; 

// DECLARE YOUR EXPLICIT SPECIALIZATIONS HERE 

template<> 
void Client::runFFT<int16_t>(int16_t *wSamples, float const &fMult); 

template<> 
void Client::runFFT<Ipp32f>(Ipp32f *wSamples, float const &fMult); 

每款14.7.3/6：

如果一个模板，一个成员模板或类模板的成员是明确专门那么专业化 应月在该专业化的第一次使用之前产生，这将导致在发生这种使用的每个翻译单元中发生 的隐含实例; 不需要诊断。 [...]

的“没有诊断需要”的一部分意味着如果你不遵循这个规则，你的程序将是病态的，但不要求你的编译器/连接器告诉您。这通常会导致您正在观察的那种未定义的行为。