这个C模板宏是什么意思？

有人可以帮我解决这个问题吗？我知道宏,我对模板非常熟悉,但我不知道作者用这个表达了什么.什么是预期用途,为什么这样写？我们在这里定义的是什么？如何以及为何使用此功能？

#define MY_CLASS(RET_TYPE,... )\
    template<typename Derived>\
    __VA_ARGS__\
    RET_TYPE my_class_impl<Derived>

我也有类似的东西

MY_CLASS( )::my_class_impl( int arg_id )

我也看到了

template<typename Derived>
class my_class_impl

我从一位同事那里听说这是CRTP的案例(好奇地反复出现模板模式),但他没有更具体的见解.

另外,我看到它随后如下使用：

MY_CLASS(some_type)::find_desired_val(int x) {
// some code
}

那么,在实际实现它们时,宏用于替换类my_class_impl的方法签名？

解决方法

它用于定义my_class_impl< Derived>的成员函数.

MY_CLASS(void)::member(Bar b) {}

扩展到：

template <typename Derived>
void my_class_impl<Derived>::member(Bar b) {}

可变参数宏参数可用于各种(标准或非标准)属性,例如__declspec(...),[[...]]等.例如：

MY_CLASS(void,__declspec(dllexport))::foo();

扩展到：

template <typename Derived>
__declspec(dllexport) void my_class_impl<Derived>::foo() {}

MY_CLASS():: my_class_impl(int arg_id),感谢编译器扩展允许缺少宏参数(存在于MSVC上,以及Clang和GCC,我错了),扩展为构造函数：

template <typename Derived>
/* nothing */ my_class_impl<Derived>::my_class_impl(int arg_id) {}

这也是一个非常丑陋的宏.它不仅难以理解,它隐藏了非常平凡的东西,并且如果您尝试返回包含逗号的类型(std :: map< int,int>)则会中断.