Typedef 到 C++ 中的周围类型答案

【问题标题】：Typedef to surrounding type in C++Typedef 到 C++ 中的周围类型
【发布时间】：2016-01-27 09:51:35
【问题描述】：

有没有办法在类型声明中为声明的（周围）类型本身构建typedef，而不用说明类型的名称？

例子：

class X
{
  public:
    typedef <fill in magic here> MyType;
  //...
};

背景：乍一看，这似乎很愚蠢。我需要这个，因为我使用宏构建了我的数据类的编译时反射。所以在数据类的声明中插入了一个宏，该宏需要处理它插入的类型。到目前为止，我找到了 MSVC 和 g++ 的工作解决方案，它们都依赖于我认为的实现中的缺陷。所以他们可能无法在较新的版本上工作。 Clang 不会“吃掉”这些解决方案中的任何一个。

我当前的 MSVC 解决方案定义了一个方法，然后仅通过它的名称获取它的地址，并调用一个“返回”其类的类型的小助手。（Clang 和 g++ 需要方法的全名，包括它的类名）。

我当前的 g++ 解决方案定义了一个返回类型为 std::remove_reference(decltype(*this)) 的静态方法。（Clang 和 MSVC 不允许在静态上下文中使用 this）。

我绝对更喜欢标准的一致性解决方案，但目前也可以使用特殊的 clang 解决方案。

如果没有任何效果，我必须将类的名称传递给宏，但我尽量避免这种情况，因为我已经有大量使用宏的代码。

编辑：添加一个关于反射如何工作的示例（这可能会阐明我需要什么）：

class X : public Y
{
  public:
    //.. constructor and such stuff...

    int a;
    double b;
    std::string c;

    CLASSHEAD(Y)
      FIELD(a)
      FIELD(b)
      FIELD(c)
    CLASSFOOT
};

CLASSHEAD 是应该定义typedef 的宏。它是一个 VAR_ARGS 宏，其中参数接收基类。如前所述：可以将类的名称作为它的第一个参数（在示例中导致CLASSHEAD(X, Y)）。但我几乎无法想象对于像 typedef'ing 周围类型这样的“简单”任务没有解决方案......

【问题讨论】：

实际上，我并不清楚为什么你不能只做typedef X MyType;，然后让宏使用MyType？
我认为需要这个的唯一原因是函数签名。在函数本身中，您将使用上述typedef std::remove_reference(decltype(*this))::type MyType;。你可以制作这些函数模板，然后static_assert(std::is_same<T, MyType>::value);。不漂亮，想不出更好的了。
恐怕要获得符合标准的解决方案，您必须等到新标准准备好进行类型反射（在您的情况下是自省）。见open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3814.html
似乎这样做的方法是定义一个创建类声明的宏。类名将是宏的参数，然后它将发出public CLASSNAME MyType; 行。
Similar question

标签： c++ visual-c++ g++ clang++

【解决方案1】：

这并不完全符合您的规范，但我认为它非常接近：

class X
{
//Stuff...

//Use Macros to add:
struct MyType;

//Use class closing macro to insert variable between class-ending brace and semicolon      


} TYPE_VAR;
//Perhaps add random stuff to TYPE_VAR name to avoid collisions, like __FILE__
struct decltype(TYPE_VAR)::MyType
{
    typedef decltype(TYPE_VAR) V;
};

然后访问 X 的类型使用

X::MyType::V

例如，简化的 CLASSFOOT 可能如下所示：

#define CLASSFOOT /*Your classfoot here*/ } TYPE_VAR; struct decltype(TYPE_VAR)::MyType {typedef decltype(TYPE_VAR) V;
//No }; at end on purpose- this will come from the class in which you placed CLASSFOOT

这足以满足您的目的吗？

【讨论】：

缺点是 MyType::V 不能在 X 的定义中使用（我认为 OP 需要的功能）
这没有回答原来的问题。

【解决方案2】：

由于您已经在使用宏，您可以使用此解决方案https://stackoverflow.com/a/21143997/2173029

#define CLASS_WITH_MY_TYPE(ClassName) \ 
    class ClassName                   \
    {                                 \
       using MyType = ClassName;

然后用like

CLASS_WITH_MY_TYPE(X)
public:
  struct Y
  {
    using T = MyType;
  };
};

static_assert(std::is_same<X, typename X::Y::T>::value, "");

标记为社区 wiki，因为@Chris 提到了链接并且原始答案由 @Bartek Banachewicz 发布

【讨论】：

@RüdigerStevens 我以为你的意思是 CLASSHEAD 宏。

【解决方案3】：

Nohting 有效，因此在宏中使用类 Name 是唯一可行的解决方案

【讨论】：