c++ - 如何提取未命名结构的类型以在结构本身内创建新类型？

Question

在未命名结构的类型上创建参数化的方法/函数很容易。在结构的定义之后获取类型也很容易。

struct Foo {
  template <typename T> Foo(T*) { /* we have access to T here */ }
}
template <typename T> void baz(T*) { /* we have access to T here */ }

template<typename T> struct Bar {
  /* we have access to T here */
};

void test() {
  struct {
    Foo foo { this }; // access in a constructor
    void test() { baz(this); } // access in a function
  } unnamed;
  Bar<decltype(unnamed)> bar; // access after definition
}

但是是否有任何“魔法”可以允许在结构范围或静态方法中使用unnamed 的类型 - 而不仅仅是在其构造函数/实例方法中或在实例之后宣布？命名结构时很简单:

// How to make it work with S absent (an unnamed struct) ?
struct S {
  Bar<S> foo; // how to get our type in an unnamed struct?
  static void wrapper(void * instance) {
    static_cast<S*>(instance)->method(); // how to get our type in an unnamed struct?
  }
  void method() { ... }
} would_be_unnamed;

这个问题的动机是 question about how to implement a destructor in an unnamed struct .简单的解决方案是将一个命名结构包装在一个未命名的结构中——这样的包装器可以在宏中使用而不会与任何其他类型等发生冲突。

struct { struct S { ... } s; } unnamed;

解决类型访问难题将为激励问题提供不同的解决方案。

Answer 1

也许是这样的？

这个想法是你实际上有两个未命名的结构。首先，unnamed 包含所有实际的代码/数据和内容。然后是 unnamedWrapper，它能够在 unnamed 上使用 decltype，只是一个完全转发(甚至对于构造函数!)的包装器 unnamed，唯一的特点是它通过 typedef 导出 unnamed 的类型。

#include <cstddef>

template<typename T>
size_t templatedSizeof() {
    return sizeof(T);
}

struct {
    char    something;
    short   somethingElse;
    int     moreGargabe;
    long    evenMoreUselessGarbage;
} unnamed;

struct : public decltype(unnamed) {
    typedef decltype(unnamed)   TheType;

    using TheType::TheType; // Use same constructors
} unnamedWrapper;