Question

我希望有一个宏，它使用它所使用的类的类型而不将该名称传递给宏。为此，我尝试了typedef decltype(*this) my_type;，但this只能在非静态成员函数中使用。有什么想法吗？

编辑（评论副本）：

我已经创建了一个基类和一组宏，它们使用CRTP无缝地实现类数据的三重缓冲。当一个三重缓冲类继承自另一个三重缓冲类时，复杂性就来了，实际上有两个基础 - 隐藏在宏中的CRTP基础和显式基础。因为显式基也继承自CRTP基的不同实例，所以派生类中的成员函数在两个基类之间发生冲突。我正在编写一个宏来自动解决这个冲突，重新实现派生类中的函数。这种重新实现需要派生类的类型来访问CRTP类的正确实例，因此是原始问题。

Answer 1

警告：以下不符合标准。它只有在我将-fpermissive传递给GCC并且在编译时打印出一个丑陋的警告时才有效：

#include <type_traits>

#define JOIN( A, B ) JOIN_INTERNAL( A, B )
#define JOIN_INTERNAL( A, B ) A##B
#define UNIQUE_NAME JOIN( unique_prefix_to_typedef_this_, __LINE__ )

template< typename T > struct class_type;
template< typename T, typename C > struct class_type< T C::* > { typedef C type; };

#define TYPEDEF_THIS void UNIQUE_NAME(); typedef class_type< decltype( &UNIQUE_NAME ) >::type

struct A
{
  TYPEDEF_THIS my_type;
  static_assert( std::is_same< my_type, A >::value, "my_type is not A if this fails" );
};

int main()
{
}

我希望你可以使用它，否则我很确定没有标准的符合性解决方案。

获取包含类的类型

1 个答案: