C++ void ou tout type en tant que paramètre de modèle

Question

Je me demandais s'il existe une solution pour spécifier un modèle afin que void ou tout autre type puisse être passé. Voici un exemple très simplifié, qui ne devrait rien faire d'autre que renvoyer void si TReturn est également void, ou renvoyer la valeur de retour de la fonction (qui renvoie également TReturn, mais avec la différence, il s'agit alors d'un type) .

template <typename TReturn> 
TReturn Foo(std::function<TReturn()> function) 
{ 
    if(std::is_same<TReturn, void>::value) 
    {   
     // I am not sure what to put here 
     return function(); 
    } 

    TReturn returnValue = function(); 
    // Do some stuff with the returnValue here 
    return returnValue; 
} 

Maintenant, évidemment, ce que j'ai fait est faux, car une fonction ne peut retourner deux types différents. C'est pourquoi je demande, est-ce que quelqu'un sait comment faire cela?

Toute aide est appréciée avec plaisir

Answer 1

Vous pouvez utiliser la surcharge:

template <typename TReturn> 
TReturn Foo(std::function<TReturn()> function) 
{ 
    TReturn returnValue = function(); 
    // Do extra stuff with return value. 
    return returnValue; 
} 

void Foo(std::function<void()>) 
{ 
    return function(); 
} 

En C++ 17, vous aurez constexpr si

template <typename TReturn> 
TReturn Foo(std::function<TReturn()> function) 
{ 
    if constexpr (std::is_same<TReturn, void>::value) { 
     return function(); 
    } else { 
     TReturn returnValue = function(); 
     // Do extra stuff with return value. 
     return returnValue; 
    } 
} 

Answer 2

solution C++ 17:

template <typename TReturn> 
TReturn Foo(std::function<TReturn()> function) 
{ 
    if constexpr (std::is_same<TReturn, void>::value) 
//  ^^^^^^^^^ 
    {   
     return function(); 
    } else { 
     TReturn returnValue = function(); 
     return returnValue; 
    } 
} 

Sinon, si vous voulez la décision de retourner une valeur ou ne pas être faite au moment de la compilation, AFAIK vous allez avoir besoin de deux fonctions différentes (comme suggéré dans l'autre réponse).