Truy cập typedef từ cá thể

Question

Giống như trong các vùng chứa stl, tại sao chúng ta không thể truy cập một typedef bên trong lớp từ cá thể lớp? Có một cái nhìn sâu sắc cụ thể về điều này?

---

Khi value_type là một tham số mẫu nó có thể giúp làm cho mã tổng quát hơn nếu không có nhu cầu để xác định các thông số mẫu như trong vector :: value_type

Ví dụ:

class T { 
public: 
    typedef int value_type; 
    value_type i; 
}; 

T t; 
T::value_type i; // ok 
t.value_type i; // won't work 

Answer 1

Câu trả lời là sử dụng decltype để nhận lớp học trước. Ví dụ:

decltype(t)::value_type

Yêu cầu C++ 11.

Tham chiếu: https://stackoverflow.com/a/13936644/577704

Answer 2

Bởi vì typedef chỉ là một từ đồng nghĩa cho một loại khác. Nó không phải là một đối tượng (thành viên của lớp).

Và như @Neil Butterworth đã đề cập: "Vì toán tử. Là toán tử truy cập thành viên".

Answer 3

Không có lý do chính đáng để sử dụng toán tử khác để giải quyết phạm vi (::) so với quyền truy cập thành viên (.) vì không bao giờ mơ hồ. Đó là một sự khó chịu, nhưng nó chỉ là cách ngôn ngữ.

---

Một số ngôn ngữ khác nhau làm điều đó mặc dù ...

• C# sử dụng . thay vì ::, nhưng bạn vẫn cần phải sử dụng tên lớp khi truy cập vào các loại lồng nhau và các thành viên tĩnh.
• D sử dụng . và <instance>.<static nested type> tương đương với <type>.<static nested type>.