C++ quá tải với một tham số const

Question

Tại sao sau đây không được phép vào C++

#include <iostream> 

class Sample { 
public: 
    void Method(char x); 
    void Method(char const x); 
}; 

void Sample::Method(char x) { 
    char y = x; 
} 

void Sample::Method(char const x) { 
    char y = x; 
} 

int main() { 
    Sample s; 
    return 0; 
} 

Answer 1

Nó không thực sự trả lời tại sao, nhưng nó được xác định bởi tiêu chuẩn, §1.3.10

The information about a function that participates in overload resolution (13.3): the types of its parameters and, if the function is a class member, the cv- qualifiers (if any) on the function itself and the class in which the member function is declared.

này chỉ có nghĩa là vòng loại cv của các đối số được bỏ qua trong việc giải quyết tình trạng quá tải.

Một tương tự (nhưng không tương đương) ví dụ với sự tham khảo các công trình:

class Sample { 
public: 
    void Method(char& x) {} 
    void Method(const char& x) {} 
}; 

vì ở đây các loại khác nhau, trường hợp đầu tiên là một tham chiếu đến char, thứ hai một tham chiếu đến const char (như trái ngược tham chiếu const tới char).

Answer 2

Khi nói đến hoạt động các thông số, char và char const là những kiểu dữ liệu tương tự.

Answer 3

Điều này vẫn còn mơ hồ. Khi nó được gọi với một đối số nhân vật, một phiên bản sẽ sao chép đối số và nói "OK, bạn có thể thay đổi bản sao". Người kia sẽ sao chép đối số và nói "OK, bạn không thể thay đổi bản sao." Làm thế nào là trình biên dịch phải biết liệu nó có thể hoặc không thể thay đổi một bản sao của một cái gì đó? Nó có thể làm hoặc là tốt.

Answer 4

vì nó mơ hồ khi bạn đang đi qua như thế này

s.Method('x');

gì phiên bản bạn nên suy nghĩ được gọi là?

Answer 5

http://duramecho.com/ComputerInformation/WhyHowCppConst.html

Vì const biểu thị biến mà là có giá trị thiết lập, mà không thể được thay đổi sau khi tuyên bố. Nó không phải là một kiểu dữ liệu khác.

Answer 6

Tại sao sau đây không được phép trong C++?
Lý do rất giống với trình biên dịch cung cấp cho bạn dưới dạng lỗi biên dịch:
Vì chúng không rõ ràng!

Tại sao những phương pháp này không rõ ràng?
Câu trả lời ngắn gọn: Bởi vì tiêu chuẩn C++ nói như vậy.

Lý do cơ bản đằng sau các phương thức quá tải này không rõ ràng là gì?
Trình biên dịch không biết liệu người gọi muốn để điều trị các giá trị của truyền lập luận như một const hay không, không có cách nào cho trình biên dịch để xác định rằng với những thông tin trong tầm tay.

Lưu ý nhấn mạnh vào chuyển giá trị vào đây, đối số đang được chuyển theo giá trị và do đó sự mơ hồ. Nếu đối số là được chuyển bởi tham chiếu thì trình biên dịch biết chắc chắn cách người gọi muốn xử lý đối số vì sau đó đối tượng thực tế đang được truyền và do đó trình biên dịch có thể thực hiện lựa chọn quá tải thích hợp.

Ví dụ sau cung cấp ý tưởng rõ ràng hơn cho giải thích ở trên.

Online Sample:

class Sample 
{ 
    public: 
     void Method(char &x){} 
     void Method(char const x){} 
     void Method(char const &x){} 
}; 


int main() 
{ 
    Sample s; 
    return 0; 
} 

Answer 7

Tiêu chuẩn nói hai tờ khai là tương đương (13.1.3):

Parameter declarations that differ only in the presence or absence of const and/or volatile are equivalent. That is, the const and volatile type-specifiers for each parameter type are ignored when determining which function is being declared, defined, or called.

typedef const int cInt; 

int f(int); 
int f(const int);   // redeclaration of f(int) 
int f(int) { /* ... */ }  // definiton of f(int) 
int f(cInt) { /* ... */ } // error: redefiniton of f(int)