C++ - ý nghĩa của một tuyên bố kết hợp typedef và typename

Question

Trong một file C++ header, tôi nhìn thấy mã này:

typedef typename _Mybase::value_type value_type; 

Bây giờ, như tôi hiểu, trích dẫn từ «C++ Complete Reference» theo Schildt . typename có thể được thay thế bằng lớp từ khóa, việc sử dụng thứ hai của typename là thông báo cho trình biên dịch rằng tên được sử dụng trong khai báo mẫu là tên loại chứ không phải tên đối tượng.

Tương tự, bạn có thể xác định tên loại dữ liệu mới bằng cách sử dụng từ khóa typedef. Bạn không phải là thực sự tạo loại dữ liệu mới, nhưng thay vì xác định tên mới cho loại hiện có.

Tuy nhiên, bạn có thể giải thích chính xác ý nghĩa của dòng mã trên không, trong đó typedef và typename được kết hợp với nhau. Và "::" trong tuyên bố ngụ ý là gì?

Answer 1

typedef đang xác định loại mới để sử dụng trong mã của bạn, như viết tắt.

typedef typename _MyBase::value_type value_type; 
value_type v; 
//use v 

typename ở đây là để cho trình biên dịch biết rằng value_type là một loại và không phải là một đối tượng bên trong _MyBase.

các :: là phạm vi của loại. Nó giống như "đang ở" vậy là value_type "nằm trong" _MyBase. hoặc cũng có thể được cho là có chứa.

Answer 2

typename có nghĩa là _Mybase::value_type là tên loại để typedef có thể dựa vào thực tế đó.