在 Visual Studio 2008 中,编译器无法解析下面 _tmain
中对 SetCustomer
的调用并使其明确:
template <typename TConsumer>
struct Producer
{
void SetConsumer(TConsumer* consumer) { consumer_ = consumer; }
TConsumer* consumer_;
};
struct AppleConsumer
{
};
struct MeatConsumer
{
};
struct ShillyShallyProducer : public Producer<AppleConsumer>,
public Producer<MeatConsumer>
{
};
int _tmain(int argc, _TCHAR* argv[])
{
ShillyShallyProducer producer;
AppleConsumer consumer;
producer.SetConsumer(&consumer); // <--- Ambiguous call!!
return 0;
}
这是编译错误:
// error C2385: ambiguous access of 'SetConsumer'
// could be the 'SetConsumer' in base 'Producer<AppleConsumer>'
// or could be the 'SetConsumer' in base 'Producer<MeatConsumer>'
我认为模板参数查找机制足够智能,可以推断出正确的基础 Producer
。为什么不是呢?
我可以通过将 Producer
更改为
template <typename TConsumer>
struct Producer
{
template <typename TConsumer2>
void SetConsumer(TConsumer2* consumer) { consumer_ = consumer; }
TConsumer* consumer_;
};
并调用SetConsumer
作为
producer.SetConsumer<AppleConsumer>(&consumer); // Unambiguous call!!
但如果我不必...会更好
最佳答案
I thought the template argument lookup mechanism would be smart enough to deduce the correct base Producer.
这与模板无关,它来自使用多个基类 - 名称查找已经不明确,重载解析仅在此之后发生。
一个简化的例子如下:
struct A { void f() {} };
struct B { void f(int) {} };
struct C : A, B {};
C c;
c.f(1); // ambiguous
解决方法是显式限定调用或将函数引入派生类范围:
struct ShillyShallyProducer : public Producer<AppleConsumer>,
public Producer<MeatConsumer>
{
using Producer<AppleConsumer>::SetConsumer;
using Producer<MeatConsumer >::SetConsumer;
};
关于c++ - 对基类模板成员函数的访问不明确,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2713160/