如何在需要提及需要循环声明的其他类的类中初始化变量？

Question

在以下示例中，前向声明struct Y前向声明是不够的。如果你注释掉X :: b，它编译得很好，因为Y有一个完整的结构声明可供使用，但X只有前向声明。

#include <functional> 
#include <iostream> 

struct Y; 

struct X 
{ 
    std::function<bool(Y&)> b{[] (auto& y_) { return y_.a; }}; 

    bool a{false}; 
}; 

struct Y 
{ 
    std::function<bool(X&)> b{[] (auto& x_) { return x_.a; }}; 

    bool a{true}; 
}; 

int main() 
{ 
    return 0; 
} 

Ideone

以下是修复我能想出：

#include <functional> 
#include <iostream> 

struct Y; 

struct X 
{ 
    X(); 
    std::function<bool(Y&)> b; 

    bool a{false}; 
}; 

struct Y 
{ 
    Y(); 
    std::function<bool(X&)> b{[] (auto& x_) { return x_.a; }}; 

    bool a{true}; 
}; 

X::X() : b([] (auto& y_) { return y_.a; }) {} 
Y::Y() : b([] (auto& x_) { return x_.a; }) {} 

int main() 
{ 
    return 0; 
} 

Ideone

虽然它在这个例子中，如果类呈多形性，这分别需要using X::X;或using Y::Y;。

有没有办法在头文件本身做到这一点？

Answer 1

你可以这样做：

#include <functional> 

template <typename T> bool (*get_lambda())(T&) {return [] (auto& y_) { return y_.a; };}; 

struct Y; 

struct X 
{ 
    std::function<bool(Y&)> b{get_lambda<Y>()}; 

    bool a{false}; 
}; 

struct Y 
{ 
    std::function<bool(X&)> b{get_lambda<X>()}; 

    bool a{true}; 
}; 

int main() 
{ 
    return 0; 
}