Dairesel beyanların gerekli olacağı diğer sınıflardan bahsedilmesini gerektiren sınıflardaki değişkenler nasıl başlatılır?

Question

Aşağıdaki örnekte, ileri bildirim struct Y bildirim beyanı yeterli değildir. Eğer X :: b'yi açıklarsanız, Y tam bir yapısal bildirime sahip olduğundan, X yalnızca ileri bildirime sahiptir.

Ideone

aşağıdaki

#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; 
} 

Ben ile gelebilir düzeltmedir:

#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

Ve bu örnekte çalışırken, sınıflar polimorfik olsaydı, bu Sırasıyla bu sınıfların çocuklarında using X::X; veya using Y::Y; gerektirir.

Başlık dosyalarının kendisinde bunu yapmanın bir yolu var mı?

Answer 1

Bunu yapabilirsiniz:

#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; 
}