Tại sao loại bí danh trong C++ sử dụng 'using' thay vì 'typedef' trong cú pháp của chúng?

Question

Rõ ràng, nhập bí danh và bí danh loại templated tương đương ngữ nghĩa với typedef và phần mở rộng của typedefs để hỗ trợ mẫu. Cách tạo cú pháp mới với từ khóa using được tạo cho các từ khóa này thay vì sử dụng typedef cho phần mở rộng đầu tiên và một số cú pháp với từ typedef.

LƯU Ý: Đây không phải là bản sao của câu hỏi "khác biệt giữa sử dụng và typedef". Tôi biết rằng using tạo lợi thế cho việc xác định họ là typedef s. Điều tôi đang hỏi là tại sao những người tiêu chuẩn quyết định sử dụng tiện ích mở rộng này sử dụng từ khóa using thay vì từ khóa typedef. Điều này có vẻ như nó chỉ thêm nhầm lẫn trong ngôn ngữ.

Answer 1

Những gì bạn đề xuất thực sự được đề xuất trở lại vào năm 2002 trong tài liệu N1406 bởi Herb Sutter. Nó sẽ cho phép, ví dụ, để viết:

template<typename T> typedef X<T,int> Xi; 

Điều này sau đó được sửa đổi trong N1449 bởi Gabriel Dos Reis và Mat Marcus. Họ áp dụng cú pháp using, và lưu ý những điều sau:

Lưu ý rằng chúng tôi đặc biệt tránh thuật ngữ “typedef mẫu” và giới thiệu cú pháp mới liên quan đến cặp “sử dụng” và “=” để giúp tránh nhầm lẫn: chúng tôi không xác định bất kỳ loại nào ở đây, chúng tôi đang giới thiệu một từ đồng nghĩa (tức là bí danh) cho một trừu tượng của một loại-id (tức là loại biểu thức) liên quan đến tham số mẫu.

Họ cũng trạng thái:

Hai cuộc thăm dò rơm đã được đưa về cú pháp. Một đa số mạnh đã bỏ phiếu để tránh cú pháp mẫu typedef, ủng hộ cú pháp “=”. Một cuộc bỏ phiếu thứ hai cho thấy sở thích mạnh mẽ đối với từ khóa "đang sử dụng" thay vì một từ như "bí danh" hoặc sự vắng mặt của bất kỳ từ khóa nào trong phiên bản dự thảo của đề xuất này. Động lực để sử dụng bất kỳ từ khóa nào bắt nguồn từ phần mong muốn sử dụng một cú pháp có thể tương thích với hướng răng cưa không phải mẫu được nêu ngắn gọn ở trên.

Cú pháp này sau đó được chấp nhận trong đề xuất cuối cùng N2258 bởi Gabriel Dos Reis và Bjarne Stroustrup.

Answer 2

Đây là những gì Bjarne Stroustrup nói về việc tại sao họ giới thiệu using thay vì mở rộng typedef: "tên tiếp theo những gì nó đề cập đến"

Từ khóa sử dụng được sử dụng để có được một ký hiệu tuyến tính Chúng tôi đã thử với giải pháp typedef thông thường và phức tạp, nhưng không bao giờ quản lý để có được giải pháp hoàn chỉnh và mạch lạc cho đến khi chúng tôi giải quyết theo cú pháp ít mơ hồ hơn.

Ông cũng tuyên bố rằng anh thích cú pháp này cũng nhiều hơn cho typedefs thông thường:

Ngoài việc là quan trọng trong việc kết nối với các mẫu, loại bí danh cũng có thể được sử dụng như một khác nhau (và IMO tốt hơn) cú pháp để bí danh kiểu thông thường:

using PF = void (*)(double); 

Ông là khá chính xác ở đây, điều này dường như rất sạch sẽ. Ngược lại một typedef sẽ vô cùng phức tạp với tên là đâu đó ở giữa:

typedef void(*PF)(double); 

Dưới đây là một explanation (xem trang 4) từ đề xuất của họ mà thậm chí còn sâu sắc hơn:

nó đã được đề nghị (lại) sử dụng từ khoá typedef - như thực hiện trong giấy [4] - để giới thiệu mẫu bí danh:

template<class T> 
typedef std::vector<T,MyAllocator<T>> Vec; 

đó ký hiệu có lợi thế của việc sử dụng một chìa khóa từ đã được biết đến để giới thiệu một bí danh loại. Tuy nhiên, nó cũng hiển thị một số nhược điểm trong đó sự nhầm lẫn của việc sử dụng một từ khóa được biết đến để giới thiệu một bí danh cho một loại tên trong một bối cảnh mà bí danh không chỉ định một loại, nhưng một mẫu; Vec là không phải là bí danh cho một loại và không được sử dụng cho tên đã nhập. Tên Vec là tên cho họ std::vector<*,MyAllocator<*>> - trong đó dấu hoa thị là trình giữ chỗ cho tên loại. Do đó, chúng tôi không đề xuất cú pháp "typedef".

template<class T> 
using Vec = std::vector<T,MyAllocator<T>>; 

có thể được đọc/hiểu là: từ bây giờ trở đi, tôi sẽ sử dụng Vect<T> như một từ đồng nghĩa với std::vector<T,MyAllocator<T>>. Với việc đọc đó, cú pháp mới cho răng cưa có vẻ hợp lý.

Vì vậy, ông đã cơ bản hai điểm ở đây:

1. Mẫu using trở thành một gia đình các loại, không phải là một loại, vì vậy typedef là "sai"
2. using có thể được đọc gần như là một tiếng anh câu