Por que não posso fazer downcast de ponteiro para membros em argumentos de modelo?
Se eu criar um ponteiro para um membro de base, geralmente posso convertê-lo em um ponteiro para um membro derivado, mas não quando usado em um modelo como o Buzz abaixo, onde o primeiro argumento influencia o segundo. Estou lutando contra erros do compilador ou o padrão realmente exige que isso não funcione?
struct Foo
{
int x;
};
struct Bar : public Foo
{
};
template<class T, int T::* z>
struct Buzz
{
};
static int Bar::* const workaround = &Foo::x;
int main()
{
// This works. Downcasting of pointer to members in general is fine.
int Bar::* y = &Foo::x;
// But this doesn't, at least in G++ 4.2 or Sun C++ 5.9. Why not?
// Error: could not convert template argument '&Foo::x' to 'int Bar::*'
Buzz<Bar, &Foo::x> test;
// Sun C++ 5.9 accepts this but G++ doesn't because '&' can't appear in
// a constant expression
Buzz<Bar, static_cast<int Bar::*>(&Foo::x)> test;
// Sun C++ 5.9 accepts this as well, but G++ complains "workaround cannot
// appear in a constant expression"
Buzz<Bar, workaround> test;
return 0;
}