C++ 'da std :: function imzası üzerine aşırı yüklenme nasıl yapılır?

Question

Bu sorunun daha önce sorulmuş olduğunu biliyorum, ancak oldukça deneyimli bir kodlayıcı olmasına rağmen, yanıtları anlamıyorum ve sormak için bu önceki sorulara yanıt vermenin bir yolunu görmüyorum açıklama. "Cevap" bağlantısı yok ya da bir şey yok. Ayrıca, bu sorular oldukça eskiydi. Yani, ben soruyu yeniden soruyorum.

+ = operatörünü aşırı yüklediğim bir sınıfa sahibim. Bir aşırı yük çıplak işlev işaretçisi almak istiyorum, ve diğer bir std :: işlevi almaya:

void operator+=(void (*handler)()); 
void operator+=(function<void (void *, T)> handler); 

Kullanımı: derleyici belirleyemiyor çünkü

MyClass a; 
a += [](){ DoSomething(); }; 
a += [](void *x, T y){ DoSomething(); }; 

Maalesef kod derleme değil ikinci aşırı yükün ilk + = çağrı için uygun olmadığı.

Bu sorunu gidermek için operatör + = üye işlevlerimi nasıl tanımlarım? Operatörlerin nasıl kullanıldığını değiştirmek istemiyorum (ör. Açık bir yayın kullanarak). Yukarıda gösterildiği gibi çalışmasını istiyorum.

void operator+=(function<void()> handler); 

Ama yine, ben işlevi <> şablon imzası dayalı aşırı yük olamaz:

Buna ek olarak, aynı zamanda aşağıdaki aşırı olması kullanışlı olurdu.

diğer örnekler için bu thread bakınız: Isn't the template argument (the signature) of std::function part of its type? (O parçacığı belirtilen çeşitli çözümler uygulayan çalıştı ve bunlardan hiçbiri derlemek olurdu) Ben bir dizi uzun yıllar programlama oldum

diller, ama benim C++ becerilerim biraz paslı.

Answer 1

4.7.2 g ++ iyi kodu çalışır aşağıdakı:

#include <functional> 
#include <iostream> 

template <typename T> 
typename std::enable_if<std::is_convertible<T, void(*)()>::value>::type 
foo(T&&) 
{ 
    std::cout << "foo(void(*)())" << std::endl; 
} 

void foo(std::function<void(void*,int)>) 
{ 
    std::cout << "foo(std::function<void(void*,int)>)" << std::endl; 
} 

int main() 
{ 
    foo([]{}); 
    foo([](void*,int){}); 
} 

sorun template <class F> function(F); olarak bildirilmiş std::function yapıcısı, kaynaklanır. Bu kurucu her şeyi argümanı olarak kabul eder. Bu argüman uygun bir operator() değilse, kurucunun başlatılması sırasında bir hata oluşturulur.

Ne yazık ki aşırı yük çözme işlemi herhangi bir şablon işlevinin başlatılmasını gerektirmiyor, bu nedenle derleyici her şeyin std::function türüne dönüştürülebileceğine inanıyor.

Answer 2

Tamam, eğer bir std::vector<std::function<void()>> varsa, bir sürü aşırı yüklemenize bile gerek yoktur. En basit yol, std::enable_if ile "korunan" olası bir şablon operator+= tanımlamaktır, sadece yanılabilir nesne veya işlev işaretçileri için AÇIK olmalıdır. Yani lambda veya ham işaretçiler geçerken atamanız için otomatik dönüştürme yapar (push_back/emplace_back). std::function geçişi yalnızca beklendiği gibi atayacaktır.