Указатель на член в качестве вывода параметра шаблона

Question

Я хочу получить указатель-член в качестве параметра шаблона в foo1. Вот код:

struct baz{ 
    int qux; 
}; 

template<typename C, typename T, T C::*m> 
struct foo1{}; 

template<typename C, typename T> 
void barr2(T C::*m){ 
} 

template<typename C, typename T> 
void barr1(T C::*m){ 
    barr2(m); // ok 
    foo1<C, T, &baz::qux> _; // ok 
    foo1<C, T, m> f; // g++4.6.1 error here; how to pass 'm' correctly ? 
} 

int main(){ 
    barr1(&baz::qux); 
} 

Как это должно выглядеть?

Answer 1

Это не работает для вас, потому что вы пытаетесь использовать информацию во время выполнения во время компиляции. Это то же самое, что использовать целое число, которое вы читаете с консоли, чтобы специализировать шаблон. Он не предназначен для работы.

Это не обязательно решить вашу проблему, но если цель barr1 функции должна была облегчить бремя типизации, что-то подобное может работать для вас:

struct baz{ 
    int qux; 
}; 

template<typename C, typename T, T C::*m> 
struct foo1 {}; 

#define FOO(Class, Member)         \ 
    foo1<Class, decltype(Class::Member), &Class::Member> 

int main(){ 
    FOO(baz, qux) f; 
}