Sử dụng 'typedef' để đảm bảo an toàn loại hợp lý

Question

typedef int A; 
typedef int B; 

void foo(A arg){} 

void main(void){ 
    B wrongvar = 7; 
    foo(wrongvar); 
} 

Cấu trúc này có phải trả lại cảnh báo/lỗi theo tiêu chuẩn không? Điều gì về các trình biên dịch phổ biến nhất?

Ví dụ: chúng tôi có các biến, đại diện cho kilogram và mét và tất cả đều là loại 'int'. Chúng tôi có một chức năng, xử lý mét. Chúng tôi muốn trình biên dịch bắt lỗi, liên quan đến việc chuyển các kilogram có nghĩa là biến biến thành hàm đó.

Tôi tin rằng Ada sẽ xử lý thuận lợi. Điều gì về hiện đại C?

Answer 1

Không, những gì bạn đang xử lý là một vấn đề kỷ luật được biết đến như tương đương cấu trúc so với tên tương đương. Như Dog đã nói, điều gần nhất bạn có thể làm để đạt được những gì bạn muốn là sử dụng cấu trúc, nhưng điều này có thể là lãng phí bộ nhớ nếu trình biên dịch chọn thêm đệm (trong trường hợp này là không thể). C sử dụng cấu trúc tương đương (có nghĩa là hai loại là cùng một điều) cho các bí danh, nhưng tên tương đương cho các cấu trúc được khai báo khác nhau (hai kiểu struct với cùng một layout không được coi là tương đương).

Một ví dụ của việc sử dụng cấu trúc để làm điều này:

typedef struct { 
    double value; 
} meters; 

typedef struct { 
    double value; 
} kilograms; 

int main(){ 
    meters m; 
    kilograms k = {2}; // initialized 
    m.value = 1; 
    k = m; // error, can't assign meters to kilos 
    return 0; 
} 

Bạn có thể muốn đọc bài viết này: http://www.joelonsoftware.com/articles/Wrong.html mô tả làm thế nào bạn có thể giúp tránh những vấn đề này với quy ước đặt tên

Answer 2

Bạn có thể sử dụng cấu trúc với một trường để thực hiện chính xác những gì bạn muốn. "Nhược điểm" duy nhất là bạn sẽ có khả năng lãng phí 1/2/4/8 byte nếu trình tối ưu hóa không tối ưu hóa chúng ...