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

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 使用没有公共void Foo(float) 成员的类型B 实例化，则会导致编译失败，方法是尝试获取特定的指针-来自它的成员类型。

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: 错误：静态断言失败：T 有方法 void Bar(float)

(Demo)