Con trỏ tới thành viên của lớp làm tham số mẫu

Question

Có thể có thông số mẫu không phải là loại thực sự là con trỏ tới thành viên của lớp không? Những gì tôi đang muốn làm là một cái gì đó như sau:

struct Person { 
    Dog dog; 
}; 

template <?? ptr> 
struct Strange { 
    // ... 
}; 

typedef Strange<&Person::dog> weird; 

Công việc của tôi cho đến nay khiến tôi tin rằng không có gì có thể, nhưng tôi tò mò nếu có ai có thể nói khác.

Answer 1

Từ tiêu chuẩn:

Một phi kiểu mẫu tham số phải có một trong các (tùy chọn cv-quali fi ed) loại sau đây:

• không thể thiếu hoặc liệt kê loại,
• con trỏ đối tượng hoặc con trỏ để hoạt động,
• tham chiếu đến đối tượng hoặc tham chiếu đến hàm,
• con trỏ đến thành viên.

Vì vậy, nó được cho phép, và dường như làm việc trên g++ như thế này:

template <Dog Person::*ptr> 
struct Strange { ... };