C++編譯時條件成員函數調用

Question

我有一個模板類，某些成員函數只有在模板參數滿足某些條件時纔有意義。例如，使用std::enable_if<>我只能爲這些情況定義它們，但我怎樣纔能有條件地調用它們？下面是一個簡單的例子

template<class T> class A 
{ 
    typename std::enable_if<std::is_floating_point<T>::value>::type a_member(); 
    void another_member() 
    { 
    a_member(); // how to restrict this to allowed cases only? 
    } 
}; 

Answer 1

首先，你不能像使用SFINAE - 模板類型參數需要的功能，而不是類。

完整的解決方案是這樣的：

template<class T> class A 
{ 
private: 
    template <class S> 
    typename std::enable_if<std::is_floating_point<S>::value>::type a_member() { 
     std::cout << "Doing something"; 
    } 

    template <class S> 
    typename std::enable_if<!std::is_floating_point<S>::value>::type a_member() { 
     //doing nothing 
    } 

public: 
    void another_member() 
    { 
    a_member<T>(); 
    } 
}; 


int main() { 
    A<int> AInt; 
    AInt.another_member();//doesn't print anything 

    A<float> AFloat; 
    AFloat.another_member();//prints "Doing something" 
} 

Answer 2

警告：這是一個可能永遠不會工作，我沒有嘗試過一個完整的，可怕的黑客。

嘗試增加這類聲明：

typename std::enable_if<std::is_floating_point<T>, int*>::type a_enabled_p() { return 0;}; 
void another() 
{ 
    if((a_enabled_p()+1)==1) 
    { 
    //Not enabled 
    } 
    else if((a_enabled_p()+1)==sizeof(int)) 
    { 
    //Is enabled 
    } 
} 

這也是爲什麼這個恐怖可能工作。如果它們是浮點數，謂詞的返回值是int*。如果他們是，沒有typedef，它默認爲int（我希望）。當您將1加到int*時，您確實會添加sizeof(int)。將int加1加1。這意味着通過檢查添加一個的值，我們知道。

注意：不要使用它。這很有趣，拿出，但上述的答案是非常非常

MUCH

更好。不要使用這個。請。