¿Cómo paso una plantilla como parámetro de plantilla a una plantilla?

Question

estoy tratando de escribir algo como:

  // I don't know how this particular syntax should look... 
template<typename template<typename Ty> FunctorT> 
Something MergeSomething(const Something& lhs, const Something& rhs) 
{ 
    Something result(lhs); 
    if (lhs.IsUnsigned() && rhs.IsUnsigned()) 
    { 
     result.SetUnsigned(FunctorT<unsigned __int64>()(lhs.UnsignedValue(), rhs.UnsignedValue())); 
    } 
    else 
    { 
     result.SetSigned(FunctorT<__int64>()(lhs.SignedValue(), rhs.SignedValue())); 
    } 
    return result; 
} 

que se utilizaría como:

Something a, b; 
Something c = MergeSomething<std::plus>(a, b); 

¿Cómo se hace eso?

Answer 1

Esto es sólo un "argumento de plantilla de la plantilla". La sintaxis es muy cercana a lo que imaginaste. Aquí está:

template< template<typename Ty> class FunctorT> 
Something MergeSomething(const Something& lhs, const Something& rhs) 
{ 
    Something result(lhs); 
    if (lhs.IsUnsigned() && rhs.IsUnsigned()) 
    { 
     result.SetUnsigned(FunctorT<unsigned __int64>()(lhs.UnsignedValue(), rhs.UnsignedValue())); 
    } 
    else 
    { 
     result.SetSigned(FunctorT<__int64>()(lhs.SignedValue(), rhs.SignedValue())); 
    } 
    return result; 
} 

Tu caso de uso debería funcionar como lo publicaste.

Answer 2

La forma en que usa es correcta. Pero la definición de su plantilla de función es incorrecta.

Debe ser esto:

template<template<typename Ty> class FunctorT> //<---here is the correction 
Something MergeSomething(const Something& lhs, const Something& rhs) 

Y Ty no es necesario. De hecho, no tiene sentido allí. Puedes omitirlo por completo.

ver este artículo de Stephen C. Dewhurst:

• C++ Common Knowledge: Template Template Parameters