3

我正在观察以下代码中的行为，我无法轻易解释，并希望更好地理解理论。我似乎找不到涵盖这种特殊情况的在线文档来源或现有问题。作为参考，我使用 Visual Studio C++ 2010 编译并运行以下代码：

#include <iostream>
using namespace std;

struct Bottom_Class
{
    template<typename This_Type>
    void Dispatch()
    {
        // A: When this comment is removed, the program does not compile
        //    citing an ambiguous call to Print_Hello
        // ((This_Type*)this)->Print_Hello();

        // B: When this comment is removed instead, the program compiles and
        //    generates the following output:
        //    >> "Goodbye from Top Class!"
        // ((This_Type*)this)->Print_Goodbye<void>();
    }

    void Print_Hello() {cout << "Hello from Bottom Class!" << endl;}

    template<typename This_Type>
    void Print_Goodbye() {cout << "Goodbye from Bottom Class!" << endl;}
};

struct Top_Class
{
    void Print_Hello() {cout << "Hello from Top Class!" << endl;}

    template<typename This_Type>
    void Print_Goodbye() {cout << "Goodbye from Top Class!" << endl;}
};

template<typename Top_Type,typename Bottom_Type>
struct Merged_Class : public Top_Type, public Bottom_Type {};

typedef Merged_Class<Top_Class,Bottom_Class> My_Merged_Class;

void main()
{
    My_Merged_Class my_merged_object;

    my_merged_object.Dispatch<My_Merged_Class>();
}

为什么模板化成员函数与非模板化成员函数案例的工作方式不同？

编译器如何决定（在模板化的情况下） Top_Class::Print_Goodbye() 是适当的重载而不是 Bottom_Class::Print_Goodbye() ？

预先感谢您的考虑。

4

2 回答 2

3

两条评论（AFAIK 正确）都会在 GCC 4.6.3 中生成编译错误。可能是 Microsoft 编译器做错了什么。

➜  scratch  g++ -O2 templ.cc
templ.cc: In member function ‘void Bottom_Class::Dispatch() [with This_Type = Merged_Class<Top_Class, Bottom_Class>]’:
templ.cc:42:48:   instantiated from here
templ.cc:16:9: error: request for member ‘Print_Goodbye’ is ambiguous
templ.cc:22:10: error: candidates are: template<class This_Type> void Bottom_Class::Print_Goodbye()
templ.cc:30:10: error:                 template<class This_Type> void Top_Class::Print_Goodbye()
于 2012-07-28T00:09:49.780 回答
1

在Dispatch方法上，This_Type与 相同My_Merged_Class。My_Merged_Class有两个名称为 的方法，Print_Hello当然编译器在区分它们时会遇到问题。

Print_Hello模板替换后对in的调用Dispatch如下所示：

((My_Merged_Class*)this)->Print_Hello();

我希望上述替换可以帮助您更好地了解为什么存在歧义。同样的问题实际上应该发生Print_Goodbye，但它可能是您正在使用的编译器中的一个错误，它允许它通过。

于 2012-07-28T00:32:32.083 回答