Question

如果对（T1，T2）有效，我需要一种给定类型T3和T1生成第三种类型T2的机制，否则生成一种特殊的Null类型。

我目前将T1定义为一个类，我可以在其中将T2的有效选项集映射到相应的T3。

我正在寻找一种语法，以便可以在T2的定义中内联定义有效T1的集合。这是使用重载决策解决问题的一种方法：

#include <utility>

struct X {};    
struct Y {};
struct A {};
struct B {};
struct C {};

struct S // T1
{
    X member(A) { return X(); } // T2=A, T3=X
    Y member(B) { return Y(); } // T2=B, T3=Y
};

struct Null
{
};

template<typename T, typename Arg>
decltype(std::declval<T>().member(std::declval<Arg>()))
    call_member(T& t, Arg arg)
{
    return t.member(arg);
}

template<typename T>
Null call_member(T& t,...)
{
    return Null();
}

int main()
{
    S s;
    X x = call_member(s, A()); // calls S::member(A)
    Y y = call_member(s, B()); // calls S::member(B)
    Null null = call_member(s, C());
}

挑战在于处理未找到T2的情况 - 这在上面的示例中由call_member处理。我试图避免定义Null S::member(...)。

此示例使用decltype，但有没有办法在C ++ 03中执行此操作？我愿意接受任何替代实现（最好是C ++ 03友好的。）

也可以使用显式特化来实现这样的机制，但我正在寻找一种方法，它保留了与示例中相同的句法结构，以便它可以用以下方式表达：

#define MEMBER(T2, T3) /* implementation details */

struct S : Base // base-class may contain helper code
{
    MEMBER(A, X)
    MEMBER(B, Y)
};

Answer 1

您可以在S结构中使用模板类。然后你可以根据你的需要专门研究这门课程：

struct Null {};

struct S
{
  template<typename> struct map { typedef Null type; };
};

template<> struct S::map<int> { typedef char type; };

template<> struct S::map<char> { typedef int type; };

int main()
{
  std::cout << typeid(S::map<int>::type).name() << std::endl;  // c
  std::cout << typeid(S::map<char>::type).name() << std::endl; // i
  std::cout << typeid(S::map<S>::type).name() << std::endl;    // 4Null
}

定义它的语法并不完全符合您的要求（您必须在类外声明特化，我认为您不能在基类中分解初始Null映射）但是在至少它是简单的和 C ++ 03兼容。一些宏可以使它更好用，但是，有些东西：

struct S { INITIALIZE_TYPES_MAP; };
ADD_MAPPED_TYPE(S, int, char);
ADD_MAPPED_TYPE(S, char, int);
//...
std::cout << typeid(GET_MAPPED_TYPE(S, int)).name() << std::endl;

那些宏很难写，所以我不会厌倦你。

Answer 2

这是解决方案的一半（将T1和T2映射到T3，但不映射到Null然后无效）

// Need a typedef for each valid combination
typedef T1_T2 T3;
#define MAP(x,y) x ## _ ## y

如果您提前知道所有无效组合，则可以

typedef T1_T3 Null;
typedef T2_T3 Null;

我对编译时关联容器的选择是什么？

2 个答案: