4

如果对 ( , ) 有效，我需要一个给定类型T1并T2产生第三种类型的机制，否则产生一个特殊类型。T3T1T2Null

我目前定义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)
};
4

2 回答 2

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;

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

于 2013-08-25T14:54:53.607 回答
-1

这是解决方案的一半（将 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;
于 2013-08-25T18:07:50.040 回答