C++ 模板结构 'has no member named' 错误

Question

当 T==B 等 T==A 时，我可以在不对任何成员 a 发出警告的情况下编译它的唯一方法是 reinterpret_cast 在 if 语句 block 中并通过指针访问非共享成员。有没有办法解决这个问题或以其他方式提示编译器？

这是 gcc 4.8.x

enum Type { A, B};

template<Type T> struct S { };
template<> struct S<A> { int x; int a; };
template<> struct S<B> { int y; int x; int b; };

template<Type T> static void foo(int x)
{
    // lots of code

    S<T> s;
    s.x = someCall();

    if (T == A)
    {
        s.a = 1;
    }
    else if (T == B)
    {
        s.y = 2;
        s.b = 3;
    }

    // a bunch of common code
}

编辑:我知道要制作专门的特定功能来处理细节，但我希望避免额外的样板代码。

Answer 1

你可以使用特化:

template <Type T> void bar(S<T>&);

template <> void bar(S<A>& s) {s.a = 1;}
template <> void bar(S<B>& s) {s.y = 2; s.b = 3;}

template<Type T> static void foo(int x)
{
    // lots of code

    S<T> s;
    s.x = someCall();

    bar(s);

    // a bunch of common code
}