Tại sao char [] và char * là typedefs khác nhau, nhưng đôi khi ... không?

Question

Quan sát sau đây xuất hiện khi tôi đang theo dõi this question về các sự khác biệt char[] và char*.

#include <iostream> 

typedef char ar[]; 
typedef char* pr; 
void f2(ar x, pr y) 
{ 
    std::cout << std::is_same<decltype(x), decltype(y)>::value << '\n'; 
    std::cout << std::is_same<ar, pr>::value << '\n'; 
} 

int main() 
{ 
    char data[] = "data"; 
    char *ptr = data; 
    f2(data,ptr); 
    return 0; 
} 

Output (trên Apple LLVM phiên bản 4.2 (vang-425.0.28))

1 
0 

Tại sao loại những báo cáo như là khác nhau, nhưng không khác nhau decltype() s? Sự nghi ngờ của tôi là trên thực tế, các loại khác nhau do khai báo typedef của họ, nhưng tại sao các biến được báo cáo là cùng loại?

Answer 1

Trong C++, như trong C, tham số được khai báo kiểu mảng là được điều chỉnh (tại thời gian biên dịch) thành loại con trỏ, cụ thể là con trỏ đến loại phần tử của mảng.

Điều này xảy ra cho dù loại mảng được chỉ định trực tiếp hoặc thông qua typedef (hãy nhớ rằng typedef không tạo loại mới, chỉ là bí danh cho loại hiện có).

Vì vậy, đây:

typedef char ar[]; 
typedef char* pr; 
void f2(ar x, pr y) 
{ 
    // ... 
} 

thực sự có nghĩa là:

void f2(char* x, char* y) 
{ 
    // ... 
} 

Một quy tắc, cũng chia sẻ bởi C và C++, đó là một biểu kiểu mảng là, trong hầu hết nhưng không phải tất cả các ngữ cảnh, được ngầm định chuyển đổi thành con trỏ thành phần tử đầu tiên của đối tượng mảng. Điều đó có nghĩa rằng nếu bạn xác định một đối tượng mảng:

char arr[10]; 

bạn có thể sử dụng tên của đối tượng đó như một cuộc tranh cãi với một chức năng mà phải mất một tham số char* (mà mất các giới hạn thông tin).

Trong C, các trường hợp chuyển đổi ngầm này không xảy ra là:

1. Khi biểu thức mảng là các toán hạng của sizeof (sizeof arr mang lại kích thước của mảng, không phải là kích thước của một con trỏ);
2. Khi biểu thức mảng là toán hạng của đơn nhất & (&arr là một con trỏ tới mảng, không phải là con trỏ đến con trỏ); và
3. Khi biểu thức mảng là một chuỗi ký tự được sử dụng để khởi tạo một đối tượng kiểu mảng (char s[] = "hello"; khởi tạo s làm mảng, không phải là con trỏ).

Không ai trong số những trường hợp này (hoặc các trường hợp khác xảy ra trong C++) xuất hiện trong chương trình của bạn, vì vậy cuộc gọi của bạn:

f2(data,ptr); 

qua hai giá trị con trỏ kiểu char*-f2.

Bên f2, tham số đối tượng x và y đều là kiểu char*, vì vậy std::is_same<decltype(x), decltype(y)>::value là đúng.

Nhưng các loại ar và pr là khác biệt. ar là loại mảng không đầy đủ char[] và pr là loại con trỏ char*.

Điều này giải thích kết quả của chương trình của bạn. Sự kỳ quặc xảy ra vì tham số x, mà bạn đã xác định với loại mảng ar, thực sự thuộc loại char*, cùng loại với pr.

Answer 2

Họ C là giá trị theo giá trị và giá trị C của một mảng là con trỏ đến phần tử đầu tiên của nó. Khi bạn vượt qua một mục được khai báo là một mảng cho một hàm, những gì thực sự nhận được thông qua là con trỏ đó, và C xử lý nguyên mẫu như thể bạn đã khai báo nó theo cách đó.

Answer 3

Tôi đã thay đổi mã để chúng tôi có thể biết cách gọi f2 thay đổi loại. Trước khi gọi các biến có kiểu khác nhau. Sau khi gọi họ đã trở thành cùng

typedef char ar[]; 
typedef char* pr; 
void f2(ar x, pr y) 
{ 
    cout << is_same<decltype(x), decltype(y)>::value << '\n'; //same type 
} 

int main() 
{ 
    ar data = "data"; 
    pr ptr = data; 
    cout << is_same<decltype(data), decltype(ptr)>::value << '\n'; // different 
    f2(data,ptr); 
    return 0; 
} 

đầu ra là .Như @jthill, @Dyp và @keith Thompson nói điều này là do mục nát của mảng để con trỏ.