định nghĩa mơ hồ của nhà điều hành() với đa kế thừa

Question

tôi biên dịch mã này với GCC (4.2.1 của Apple xây dựng 5664)

#include <cstddef> 

using std::size_t; 

template <char I> struct index { }; 

struct a 
{ 
    void operator()(size_t const &) { } 
}; 

struct b 
{ 
    template <char I> 
    void operator()(index<I> const &) { } 
}; 

struct c: public a, public b { }; 

int main (int argc, char const *argv[]) 
{ 
    c vc; 
    vc(1); 

    return 0; 
} 

và cung cấp cho tôi những lỗi sau:

main.cpp: In function ‘int main(int, const char**)’: 
main.cpp:22: error: request for member ‘operator()’ is ambiguous 
main.cpp:14: error: candidates are: template<char I> void b::operator()(const index<I>&) 
main.cpp:9: error:     void a::operator()(const size_t&) 

I don' t hiểu lý do tại sao mã này không rõ ràng; hai phương thức có chữ ký khác nhau.

Answer 1

Sửa c theo cách này:

struct c: public a, public b 
{ 
    using a::operator(); 
    using b::operator(); 
}; 

C++ (trước C++ 0x) là loại vụng về trong kế thừa chức năng: nếu bạn cung cấp một hàm có cùng tên của một hàm lớp cơ sở nó ẩn lớp cơ sở.

Có vẻ như việc kế thừa từ hai lớp cũng có cùng một vấn đề.

// tìm kiếm tiêu chuẩn ...

Answer 2

Không rõ ràng của nó vì bạn đang đi qua một hằng số nguyên có thể (có lẽ) được đúc thành một loại std::size_t hoặc index. Thay đổi main thành các mục sau và giải quyết vấn đề này:

int main (int argc, char const *argv[]) 
{ 
    c vc; 
    vc(static_cast<std::size_t>(1)); 

    return 0; 
} 

Với điều đó, rất có khả năng bạn không nên sử dụng đa thừa kế ở đây.

Answer 3

Độ phân giải tên được thực hiện trước khi quá tải.
Không có operator() trong c để trình biên dịch tìm kiếm operator() trong các lớp cơ sở của nó và tìm một số trong a và một khác trong tên b làm cho tên mơ hồ (và không xảy ra tình trạng quá tải).

Nếu bạn muốn loại bỏ tên mơ hồ bạn có thể gọi a::operator() một cách rõ ràng: vc.a::operator()(1);