强制处理类中的所有成员变量

Question

是否有一个概念可以确保向现有类添加成员会产生某种错误/警告，以防实现者忘记扩展应处理所有成员的方法？

如果一个类实现了多个必须触及所有元素的方法（例如导入/导出），则很容易忘记一个或多个要适应的方法。编译器不会识别它，并且在很多情况下其行为将符合预期（当然，除非您有正确的测试。）

我当前的尝试是在每个可能被默默遗忘的方法中测试类的大小。但当然，这不容易阅读，不安全，并且不独立于编译器/平台/构建类型（所以我不喜欢它）。

class C
{ 
    int element1;
    int element2;
    int element3;   <--- newly added without adapting operator==()

public:

    void import_me();
    void export_me();
    bool operator== (const C&);
    void dump();
};

该实现可能隐藏在不同/大文件中：

void C::import_me(){
    assert( sizeof( *this ) == 12 ); // this is my attempt of doing this

    read_fn( element1 );
    read_fn( element2 );
    read_fn( element3 );
}

void C::export_me(){
    assert( sizeof( *this ) == 12 ); // this is my attempt of doing this

    write_fn( element1 );
    write_fn( element2 );
    write_fn( element3 );
}

/// the implementer forgot to adapt this method
bool C::operator==(const C &other) {

    assert( sizeof( *this ) == 8 );             <--- this would fail

    if( element1 != other.element1 ) return false;
    if( element2 != other.element2 ) return false;
    return true;
}

我的下一个尝试是生成一个矩阵（成员 X 方法）的宏，必须在每个方法中手动填充该矩阵，但这对我来说似乎不太干净，我怀疑它的性能是否良好。

Answer 1

这只是一个想法，而不是解决方案。

将所有成员打包到一个元组中。编写一些模板元编程代码，将给定的函数应用于元组的每个成员。在每个方法中使用该模板元函数，该方法必须遍历所有成员并使其为该方法应用特定的函数。

boost::mpl 可能是一个起点。

但请注意：这并不容易，这是先进的技术。根据您的经验，您的里程可能会有所不同。