Chúng tôi có thể có cấu trúc ẩn danh làm đối số mẫu không?

Question

Tiêu đề này là khá tự giải thích, nhưng đây là một ví dụ đơn giản:

#include <cstdio> 

template <typename T> 
struct MyTemplate { 

    T member; 

    void printMemberSize() { 
     printf("%i\n", sizeof(T)); 
    } 

}; 

int main() { 

    MyTemplate<struct { int a; int b; }> t; // <-- compiler doesn't like this 

    t.printMemberSize(); 

    return 0; 

} 

Trình biên dịch phàn nàn khi tôi cố gắng sử dụng một cấu trúc mang tính chất như một mẫu đối số. Cách tốt nhất để đạt được một cái gì đó như thế này mà không cần phải có một định nghĩa struct, được đặt tên riêng biệt là gì?

Answer 1

Bạn không được phép xác định một loại vô danh như một mẫu đối số trong C++ 03 hoặc thậm chí trong C++ 0x.

Điều tốt nhất bạn có thể làm điều đó để tạo ra một địa phương tên là struct to main (trong C++ 0x)

_{1: Bạn không được phép sử dụng một loại địa phương như mẫu đối số trong C + +03, tuy nhiên C++ 0x cho phép nó.}

Ngoài ra, hãy xem Báo cáo lỗi here. Các giải pháp đề xuất đề cập

Các loại sau đây không được sử dụng như một mẫu đối số cho một mẫu kiểu tham số:

• một loại có tên không có mối liên hệ
• một lớp vô danh hoặc kiểu liệt kê không có tên cho mục đích liên kết (7.1.3 [dcl.typedef])
• một phiên bản cv-trình độ của một trong các loại trong danh sách này
• một loại tạo bởi ứng dụng của các nhà khai thác declarator đến một trong các loại trong danh sách này
• một loại chức năng có sử dụng một trong những loại trong danh sách này

---

Trình biên dịch phàn nàn khi tôi cố gắng sử dụng một cấu trúc mang tính chất như một tham số mẫu.

Ý của bạn có phải là đối số mẫu không? Thông số mẫu khác với đối số mẫu.

Ví dụ

template < typename T > // T is template parameter 
class demo {}; 

int main() 
{ 
    demo <int> x; // int is template argument 
} 

Answer 2

Vấn đề của bạn không phải là cấu trúc không được đặt tên, đó là cấu trúc được khai báo cục bộ. Sử dụng kiểu cục bộ làm đối số mẫu không được phép trong C++ 03. Nó sẽ được trong C + + 0x mặc dù, vì vậy bạn có thể thử nâng cấp trình biên dịch của bạn.

EDIT: Trên thực tế, vấn đề của bạn là bên trong danh sách đối số mẫu không phải là nơi hợp pháp để đặt định nghĩa lớp, có hoặc không có tên, theo tiêu chuẩn C++.

litb chỉ ra rằng mặc dù nó phù hợp với ngữ pháp C++ 0x, việc xác định một loại ở đây bị cấm bởi [dcl.type]:

Một loại-Speci fi er-seq thì không de fi ne một lớp hoặc liệt kê trừ khi nó xuất hiện trong loại-id của một khai báo bí danh (7.1.3) mà không phải là khai báo của một khai báo mẫu.

simple-template-id: 
    template-name < template-argument-list_opt > 

template-argument-list: 
    template-argument ..._opt 
    template-argument-list , template-argument ..._opt 

template-argument: 
    constant-expression 
    type-id 
    id-expression 

type-id: 
    type-specifier-seq abstract-declarator_opt 

type-specifier-seq: 
    type-specifier attribute-specifier-seq_opt 
    type-specifier type-specifier-seq 

type-specifier: 
    trailing-type-specifier 
    class-specifier 
    enum-specifier 

class-specifier: 
    class-head { member-specification_opt } 

Trong một thời gian tôi đã có một câu hỏi về typedef tên, nhưng litb xóa mà lên. Họ được phép như các đối số mẫu qua:

trailing-type-specifier: 
    simple-type-specifier 
    elaborated-type-specifier 
    typename-specifier 
    cv-qualifier 

simple-type-specifier: 
    :: opt nested-name-specifier_opt type-name 
    :: opt nested-name-specifier template simple-template-id 
    char 
    char16_t 
    char32_t 
    wchar_t 
    bool 
    short 
    int 
    long 
    signed 
    unsigned 
    float 
    double 
    void 
    auto 
    decltype-specifier 

type-name: 
    class-name 
    enum-name 
    typedef-name 
    simple-template-id