surcharge templated lambda sans savoir type d'argument pour les paramètres non basé sur un modèle

Question

Compte tenu lambdas avec la structure suivante:

auto lambda_1 = [](int x, auto p) -> void {...}; 
auto lambda_2 = [](float x, auto p) -> int {...}; 

Je veux extraire le type de x, ainsi que le type de retour, étant donné un type connu pour p.

Le type de retour est assez simple tant que x est par défaut constructible (que je peux faire une exigence sans problème):

template<typename CB_T> 
void foo(CB_T cb) { 
    using res_type = decltype(cb({}, std::declval<KnownP>())); 
} 

De même, si le second argument n'a pas été inférer, je pouvais facilement trouve le type du premier argument en utilisant quelque chose comme function_traits. Je sais que je peux déclencher la résolution de surcharge comme je le veux, comme en témoigne la façon dont j'extrais le type de résultat sans savoir quel est le type de x, donc je ne vois pas pourquoi je ne devrais pas pouvoir tirer ceci de.

On dirait que j'ai toutes les pièces du puzzle, mais je n'arrive pas à comprendre comment obtenir le type de la fonction surchargée dans ce scénario afin d'extraire le type de x.

Des suggestions?

Answer 1

Dans le cas particulier que vous avez affaire à lambdas que:

• Prenez deux arguments: le premier est un non-modèle, et dont le second est un modèle
• un rendement type qui est valable pour tous les paramètres du modèle (par exemple, n'a pas enable_if, etc.)

Ensuite, vous pouvez utiliser un type faux deducer pour le premier argument:

struct arbitrary { template <class T> operator T(); }; 
using res = decltype(cb(arbitrary{}, std::declval<KnownP>())); 

Ou vous pouvez utiliser function_traits pour rechercher le operator() spécifique nous allons utiliser:

using oper = decltype(&CB_T::template operator()<KnownP>); 
using arg0 = typename function_traits<oper>::template arg<0>::type; 
using res = decltype(cb(std::declval<arg0>(), std::declval<KnownP>()); 

---

Les deux sont vraiment spécifiques à cette disposition particulière lambda cependant.