Sự khác biệt của từ khóa 'typename' và 'class' trong các mẫu?

Đối với các mẫu tôi đã thấy cả hai khai báo:

template < typename T >
template < class T >

Có gì khác biệt?

Và chính xác những từ khóa đó có ý nghĩa gì trong ví dụ sau (lấy từ bài viết Wikipedia tiếng Đức về các mẫu)?

template < template < typename, typename > class Container, typename Type >
class Example
{
     Container< Type, std::allocator < Type > > baz;
};

typenamevà classcó thể hoán đổi cho nhau trong trường hợp cơ bản chỉ định mẫu:

template<class T>
class Foo
{
};

và

template<typename T>
class Foo
{
};

là tương đương.

Đã nói rằng, có những trường hợp cụ thể có sự khác biệt giữa typenamevà class.

Đầu tiên là trong trường hợp của các loại phụ thuộc. typenameđược sử dụng để khai báo khi bạn đang tham chiếu một kiểu lồng nhau phụ thuộc vào một tham số mẫu khác, chẳng hạn như typedeftrong ví dụ này:

template<typename param_t>
class Foo
{
    typedef typename param_t::baz sub_t;
};

Câu hỏi thứ hai bạn thực sự thể hiện trong câu hỏi của mình, mặc dù bạn có thể không nhận ra nó:

template < template < typename, typename > class Container, typename Type >

Khi chỉ định một mẫu mẫu , classtừ khóa PHẢI được sử dụng như trên - nó không thể thay thế cho nhau typenametrong trường hợp này (lưu ý: vì C ++ 17 cả hai từ khóa đều được cho phép trong trường hợp này) .

Bạn cũng phải sử dụng classkhi khởi tạo một cách rõ ràng một mẫu:

template class Foo<int>;

Tôi chắc chắn rằng có những trường hợp khác mà tôi đã bỏ lỡ, nhưng điểm mấu chốt là: hai từ khóa này không tương đương và đây là một số trường hợp phổ biến mà bạn cần sử dụng cái này hoặc cái kia.

Để đặt tên tham số mẫu, typenamevà classlà tương đương. §14.1.2:

Không có sự khác biệt về ngữ nghĩa giữa lớp và tên kiểu chữ trong một tham số mẫu.

typenametuy nhiên có thể trong một ngữ cảnh khác khi sử dụng các mẫu - để gợi ý trình biên dịch mà bạn đang đề cập đến một loại phụ thuộc. §14.6.2:

Tên được sử dụng trong khai báo hoặc định nghĩa mẫu và phụ thuộc vào tham số mẫu được giả sử không đặt tên loại trừ khi tra cứu tên hiện hành tìm thấy tên loại hoặc tên đủ điều kiện theo tên kiểu từ khóa.

Thí dụ:

typename some_template<T>::some_type

Nếu không có typenametrình biên dịch thì không thể nói chung là bạn có tham khảo một loại hay không.

Trong khi không có sự khác biệt về kỹ thuật, tôi đã thấy hai cái được sử dụng để biểu thị những thứ hơi khác nhau.

Đối với một mẫu nên chấp nhận bất kỳ loại nào như T, bao gồm các phần dựng sẵn (chẳng hạn như một mảng)

template<typename T>
class Foo { ... }

Đối với một mẫu sẽ chỉ hoạt động trong đó T là một lớp thực sự.

template<class T>
class Foo { ... }

Nhưng hãy nhớ rằng đây hoàn toàn là một phong cách mà một số người sử dụng. Không bắt buộc bởi tiêu chuẩn hoặc được thực thi bởi trình biên dịch

1. Không khác nhau
2. Tham số loại mẫu Containertự nó là một mẫu có hai tham số loại.

Đoạn trích này là từ cuốn sách mồi c ++. Mặc dù tôi chắc chắn điều này là sai.

Mỗi tham số loại phải được bắt đầu bởi lớp từ khóa hoặc tên kiểu chữ:

// error: must precede U with either typename or class
template <typename T, U> T calc(const T&, const U&);

Các từ khóa này có cùng ý nghĩa và có thể được sử dụng thay thế cho nhau trong danh sách tham số mẫu. Một danh sách tham số mẫu có thể sử dụng cả hai từ khóa:

// ok: no distinction between typename and class in a template parameter list
template <typename T, class U> calc (const T&, const U&);

Có vẻ trực quan hơn khi sử dụng tên kiểu từ khóa thay vì lớp để chỉ định tham số loại mẫu. Rốt cuộc, chúng ta có thể sử dụng các kiểu dựng sẵn (không phải lớp) làm đối số kiểu mẫu. Hơn nữa, tên chữ rõ ràng hơn chỉ ra rằng tên theo sau là một loại tên. Tuy nhiên, tên chữ đã được thêm vào C ++ sau khi các mẫu đã được sử dụng rộng rãi; một số lập trình viên tiếp tục sử dụng lớp riêng