enable_if ：模板库的模板化方法继承多次的情况

Question

如果我有一个带有模板方法的模板基类：

template <typename T>
class S
{
public:

    template <typename U>
    void f(U p, typename enable_if<is_same<T, U> >::type*dummy = 0)
    {
        std::cout << p << std::endl;
    }
};

例如，我简化了该方法：只有当 T == U 时它才必须“存在”如果

A 是这个类：

class A : public S<int> {};

那么我就有了我想要的：

int i = 1;
A a;
a.f(i);

编译，但

double d = 2.0;
a.f(d);

没有t 编译：错误：没有匹配的函数可用于调用“A::f(double&)” 这是预期的行为。

现在让 A 也继承自 S ：

class A : public S<int>, public S<double> {};

那么以下代码将无法编译：

int i = 1;
A a;
a.f(i);

错误：对成员“f”的请求不明确

错误：候选者是：template void S::f(U, 类型名
boost::enable_if, void>::type*) [其中 U = U, T =
双倍的]

错误：模板<类 U> void S::f(U, 类型名
boost::enable_if, void>::type*) [其中 U = U, T =
整数]

我期望没有歧义： f 仅存在于 S

在编译器错误中，我们可以注意到，当这段代码为 T 时，T 是已知的已编译，但不是 U (U = U)。

有什么解释或“解决方法”吗？

Answer 1

试试这个：

a.S<int>::f(i);

...或者将函数注入到 A 中，例如

class A : public S<int>, public S<double> 
{
public:
  using S<int>::f;
  using S<double>::f;
};

Answer 2

你是对的，它只存在于S中，但是两次。每种类型（int 和 double）一次。因此，在您的情况下，您需要准确指定要调用哪个函数。 Nim 的解决方案就是这样工作的。

Answer 3

其他人给出了很好的解决方法，但我想回答您的其他问题

我希望没有歧义：f 仅适用于 S。

您说的是 af(i)，因此它首先需要在 A 中查找名称 f。它找到两个f。在 S 和 S 中。在名称查找时，它还不知道稍后只能选择 S::f 作为获胜者，因为 S::f 会被 SFINAE 扔掉。名称查找和重载解析以及模板参数推导的明确分离不允许这种混合。