Kesintisi

Question

en böyle bir sınıf şablonu var diyelim edilir Bir derleyici ::close için bu bilgileri biliyor olabilir, çünkü <int(int)> atlamak için herhangi bir yolu var mı? Şablonun "tasarımını" kaydetmeye gerek yoktur.

Somut bir görev için, bir sınıfın şablonunu tasarlamalıyım. Bu sınıfa ait nesneler, bu işlev için inşaat zamanında bir işlev ve parametreler alabilir ve bu işlevi daha sonra çağırır.

Answer 1

Hayır, siz (şu anda) yapamazsınız.

template<typename F, typename... Args> 
A<std::decay_t<F>> make_A (F &&f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

C++ 17 tam olarak ne istediğinizi yapmanızı sağlayacaktır template argument deduction for class tanıtacak: Bunu yapmanın standart yol "make_like" işlevini (örneğin make_pair, make_optional ...) oluşturmaktır. Sadece bir fabrika yazmak gerekir, Bundan önce

A a(::close, 1); 

: C++ 17'de yapıcıları için şablon parametre kesinti, benimsenmesine

Answer 2

Varsayılan değer olmadıkça, şablon sınıfının bağımsız değişkenlerini atlayamazsınız. Yapabilecekleriniz argümanı çıkaran ve bu argümanı şablon sınıfına ileten ve uygun örneklemin bir nesnesini döndüren bir yapım fonksiyonuna sahip olmaktır.

template<typename F, typename... Args> 
A<F> make_A(F f, Args&&... args) { 
    return A<F>(f, std::forward<Args>(args)...); 
} 

Answer 3

sayesinde, sadece yazmak mümkün olacak sizin için kesinti yapın:

template <class F, class... Args> 
A<std::decay_t<F>> make_a(F&& f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

auto a = make_a(::close, 1); 

Bu biraz ayrıntılı olduğunu, ama en azından verimlilik konusunda endişelenmenize gerek yoktur - burada RVO sayesinde yapılan hiçbir kopya olacaktır.