模板强制执行的方法防止隐式转换

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）