Wskaźnik do elementu klasy jako parametr szablonu

Question

Czy możliwe jest posiadanie parametru szablonu bez typu, który jest właściwie wskaźnikiem do elementu klasy? Czego szukam zrobić coś jak poniżej:

struct Person { 
    Dog dog; 
}; 

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

typedef Strange<&Person::dog> weird; 

Moja praca do tej pory prowadzi mnie do przekonania, że ​​nic takiego nie jest możliwe, ale jestem ciekaw czy ktoś może powiedzieć inaczej.

Answer 1

od normy:

Non typu szablonu czynników posiada jeden z następujących (ewentualnie CV Quali ed fi) rodzaje:

• integralną lub wyliczania typu
• wskaźnik do obiektu lub wskaźnika do funkcji, odniesienie do obiektu lub odniesienie do funkcji,
• ,
• wskaźnik do członka.

Więc to jest dozwolone, i wydaje się działać na g++ tak:

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