Yapı üyeleri için şablon işlevi

Question

Belirli bir struct'un farklı üyeleri üzerinde çalışabilen tek bir şablon işlevini kodlamanın bir yolu var mı? Ben bir anahtar dayanan bir cevap hayal

struct Foo 
{ 
    int a, b; 
} 

template <MEMBER x> //which does not exist 
cout_member(Foo foo) 
{ 
    cout << foo.x << endl; 
} 

int main() 
{ 
    Foo foo; 
    cout_member<a>(foo); 
    cout_member<b>(foo); 
    return 0; 
} 

, ancak bu anahtar ı önlemek için ne istiyorsunuz (çalıştırma zamanında üzerinde test edilecek olsaydı o zaman merak:

gibi bir yanlış örnek olmazdı) veya derleme zamanında mı?

Answer 1

sürece, veri üyesine bir işaretçi kullanabilirsiniz aynı tipte olan veri üyeleri kümesinden veri üyesini almak istediğiniz gibi:

template <int Foo::*M> 
void cout_member(Foo foo) 
{ 
    std::cout << (foo.*M) << std::endl; 
} 

Ve olarak kullanmak:

template <typename T, T Foo::*M> 
void cout_member(Foo foo) 
{ 
    std::cout << (foo.*M) << std::endl; 
} 

Ve olarak kullanabilirsiniz:: Ayrıca türünü belirtmek istiyorsanız

cout_member<&Foo::a>(foo); 

, bunu yapabilirsin

cout_member<int, &Foo::a>(foo); 

---

Meraktan soruyorum, ikinci pasajı C++ 17'de daha basit olacaktır:

template <auto M> 
void cout_member(Foo foo) 
{ 
    std::cout << (foo.*M) << std::endl; 
} 

it up ve wandbox üzerinde çalışan Bkz; Eğer muhtemelen umurumda değil akışları kullandığınız yana

template < typename Fun, typename ... Params > 
void print(Fun f, Params && ... p) { std::cout << f(std::forward<Params>(p)...) << "\n"; } 

print(std::mem_fn(&Obj::fun), Obj()); 

(denenmemiş) ... ama bu sıfıra küçük eklemek gerekir:

Answer 2

Sen std::mem_fn kullanmaya devam edebiliyor umurunda gerekmez Sadece cout << obj.fun() yazarak baştan.

Düzenleme: mem_fn veri üyeleri üzerinde de çalışır. Kullanabileceğiniz değere bir başvuru döndüren bir callable oluşturur: int x = mem_fn(&pair<int,char>::first)(my_pair);