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

What are my options for a compile-time associative container?

本文关键字：选择 是什么 关联 编译      更新时间：2023-10-16

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

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

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

#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)
};

可以在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;

这些宏编写起来很琐碎，所以我不会让你厌烦它们。

这是解决方案的一半（将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;
相关文章：