模板強制執行的方法防止隱式轉換

Question

假設我們有這樣的事情：

template <class B> 
class A 
{ 
    void Foo(B& b) 
    { 
     b.Bar(0.5); 
    } 
}; 

class B 
{ 
    void Bar(float) {} 
    void Bar(double) {} 
    void Bar(int) {} 
}; 

在這段代碼中，類型B必須提供一種方法Bar()這需要一些整數類型的參數。問題是在這裏所有3個版本的B::Bar()都是允許的。有沒有辦法只允許這些方法的一個版本，例如，只有在B提供了Bar(float)時才能編譯？

Answer 1

你可以使用這個（恐怖）技術，這將導致如果A進行實例化一個類型B不具有公共void Foo(float)成員，試圖通過採取特定指針到成員類型的編譯失敗它。

template <class B> 
class A 
{ 
public: 
    void Foo(B& b) 
    { 
     static_cast<void (B::*)(float)>(&B::Bar); 

     b.Bar(0.5); 
    } 
}; 

（Demo of a resulting compilation failure）

如果你想，雖然，那麼你需要使用b.Bar(0.5f);實際調用此方法。 0.5是一個double字面值，而不是float字面值，所以您需要檢查以確保它具有正確的成員，但如果它有void Bar(double)，則無論如何您都會這麼稱呼它。將常量改爲0.5f可以解決這個問題。

請注意，由於採取指針沒有副作用，並且不使用結果，所以任何像樣的編譯器都會將其優化爲空操作。

---

你也可以去傳統SFINAE路線像這樣的東西：

template <typename T, typename TMethod> 
class has_bar_method 
{ 
private: 
    struct yes { char _; }; 
    struct no { char _[2]; }; 
    template <typename U, TMethod = &U::Bar> 
    static yes impl(U*); 
    static no impl(...); 

public: 
    enum { value = sizeof(impl(static_cast<T*>(nullptr))) == sizeof(yes) }; 
}; 

像這樣來使用：

void Foo(T& b) 
{ 
    static_assert(has_bar_method<T, void (T::*)(float)>::value, 
        "T has method void Bar(float)"); 

    b.Bar(0.5f); 
} 

現在，如果模板失敗實例，我們得到一個不錯的解釋原因的訊息：

prog.cpp:25:8: error: static assertion failed: T has method void Bar(float)

（Demo）