0

我希望能够使用可变数量的“i/o 引脚”扩展我的协程类，但这些需要访问主类。此外，我不想添加额外的指针到 pin 对象，主要是因为很难找到正确初始化它们的地方。所以我找到了一种解决方法：

template< int base_offs > struct pin {
  int y1;
  void test( void );
};

template< class pin1, class pin2 > struct wrap0 {
  int x1;
  char x2;
  pin1 r3;
  pin2 r4;
};

template< int base_offs >
void pin<base_offs>::test( void ) {
  typedef wrap0< pin<0>,pin<0> > wrap;
  wrap& W = *(wrap*)(((char*)this)-base_offs);
  printf( "y1=%i W.x1=%i W.x2=%i\n", y1, W.x1, W.x2 );
}

typedef wrap0< pin<0>,pin<0> > wrap1;

typedef wrap0< pin< offsetof(wrap1,r3) >, pin< offsetof(wrap1,r4) > > wrap;

wrap Z = {456,123,33333,44444};

int main( void ) {
  Z.r3.test();
  Z.r4.test();
}

VC 构建：http ://rextester.com/MXO25153

gcc 构建：http: //ideone.com/987JP5

现在，问题：

  1. 有没有办法在初始类声明期间计算 offsetof？（即像这样：http: //ideone.com/tomF0T）

  2. 包装器访问问题是否有更好的编译时解决方案？

4

2 回答 2

0

好吧，这里有一个版本，但是 VC 不支持它。IntelC 和 gcc 可以。

template< class wrap, class pad, pad wrap::*X > struct pin {
  int y1;
  void test( void ) {
    wrap& W = *(wrap*)(((char*)this) - size_t(&(((wrap*)0)->*X)) - sizeof(pad));
    printf( "y1=%i W.x1=%i W.x2=%i\n", y1, W.x1, W.x2 );
  }
};

struct wrap {
  int x1;
  char x2;
  typedef pin< wrap, char, &wrap::x2 > r3_t;
  r3_t r3;
  typedef pin< wrap, r3_t, &wrap::r3 > r4_t;
  r4_t r4;
};

wrap Z = {456,123,33333,44444};

int main( void ) {
  Z.r3.test();
  Z.r4.test();
}

VC：http : //rextester.com/QFY31637 gcc：http ://rextester.com/HEN91787

于 2013-11-09T14:27:15.793 回答
0

这是另一个版本，可能是最终版本，因为它与 VC 和 gcc 兼容，并且没有任何烦人的副作用。当然，一个函数通常不是“编译时”的，但在这种情况下，它无论如何都会内联并优化为常量。

template< class wrap, int (*base_offs)(void) > struct pin {
  int y1;
  void test( void ) {
    wrap& W = *(wrap*)(((char*)this) - ((*base_offs)()) );
    printf( "ofs=%i y1=%i W.x1=%i W.x2=%i\n", ((*base_offs)()), y1, W.x1, W.x2 );
  }
};

struct wrap {
  int x1;
  char x2;
  static int get_r3(void) { return offsetof(wrap,r3); }
  pin< wrap, get_r3 > r3;
  static int get_r4(void) { return offsetof(wrap,r4); }
  pin< wrap, get_r4 > r4;
};

wrap Z = {456,123,33333,44444};

int main( void ) {
  Z.r3.test();
  Z.r4.test();
}

VC：http : //rextester.com/NPBY12766 gcc：http ://rextester.com/XWI48752

于 2013-11-10T23:51:58.103 回答