Extern "C" có hoạt động riêng biệt không?

Question

Từ C++ 11 dự thảo, 7.5 (para 1.):

Hai loại chức năng với ngôn ngữ khác nhau mối liên kết nhiều loại khác nhau ngay cả khi họ là khác giống hệt nhau.

Vì vậy, tôi có thể làm quá tải dựa trên mối liên hệ ngôn ngữ:

extern "C" typedef void (*c_function)(); 
typedef void (*cpp_function)(); 

void call_fun(c_function f) 
{ 
} 
void call_fun(cpp_function f) 
{ 
} 

extern "C" void my_c() 
{ 
} 
void my_cpp() 
{ 
} 
int main() 
{ 
    call_fun(my_c); 
    call_fun(my_cpp); 
} 

Nhưng, với GCC 4.7.1 mẫu mã này sẽ cho các thông báo lỗi:

test.cpp: In function 'void call_fun(cpp_function)': 
test.cpp:7:6: error: redefinition of 'void call_fun(cpp_function)' 
test.cpp:4:6: error: 'void call_fun(c_function)' previously defined here 

Và với Clang ++:

test.cpp:7:6: error: redefinition of 'call_fun' 
void call_fun(cpp_function f) 
    ^
test.cpp:4:6: note: previous definition is here 
void call_fun(c_function f) 
    ^

Bây giờ, đặt câu hỏi:

• Tôi có hiểu đúng tiêu chuẩn không? Mã này có hợp lệ không?

• Có ai biết nếu đây là lỗi trong trình biên dịch hoặc nếu chúng cố tình thực hiện theo cách đó cho mục đích tương thích?

Answer 1

Đó là lỗi đã biết trong gcc và họ ghi lại rằng lỗi không phù hợp vì lỗi này chặn lỗi uber-bug, "sự cố tuân thủ C++ 98".

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2316

Kiểm tra ngày tạo.

Có một số cuộc thảo luận về phía cuối, về tính thực tiễn của việc giới thiệu bản sửa lỗi. Vì vậy, câu trả lời cho câu hỏi cuối cùng của bạn là "cả hai": đó là lỗi và lỗi đã được cố tình để lại cho khả năng tương thích.

Các trình biên dịch khác có cùng vấn đề có thể đã làm lỗi một cách độc lập, nhưng tôi nghĩ nhiều khả năng họ cũng biết rằng nó sai nhưng muốn tương thích với gcc.

Answer 2

Mã rõ ràng là hợp lệ. G ++ (và một số trình biên dịch khác) là một bit lỏng (để đặt nó nhẹ) về việc tích hợp liên kết vào loại.

Answer 3

Đối với những gì nó có giá trị, mã này cũng thất bại trong việc biên dịch với các thiết lập mặc định trong VS2012:

(8) error C2084: function 'void call_fun(c_function)' already has a body 
(4) see previous definition of 'call_fun' 
(19) error C3861: 'call_fun': identifier not found 
(20) error C3861: 'call_fun': identifier not found