¿Cómo reenviar declarar una clase de plantilla C ++?

Dada una clase de plantilla como la siguiente:

template<typename Type, typename IDType=typename Type::IDType>
class Mappings
{
public:
    ...
    Type valueFor(const IDType& id) { // return value }
    ...
};

¿Cómo puede alguien declarar adelante esta clase en un archivo de encabezado?

Así es como lo harías:

template<typename Type, typename IDType=typename Type::IDType>
class Mappings;

template<typename Type, typename IDType>
class Mappings
{
public:
    ...
    Type valueFor(const IDType& id) { // return value }
    ...
};

Tenga en cuenta que el valor predeterminado está en la declaración de reenvío y no en la definición real.

Puede declarar argumentos predeterminados para una plantilla solo para la primera declaración de la plantilla. Si desea permitir que los usuarios reenvíen una plantilla de clase, debe proporcionar un encabezado de reenvío. Si desea reenviar la declaración de la plantilla de clase de otra persona utilizando valores predeterminados, ¡no tiene suerte!

Usted puede declarar una clase de plantilla cuya definición establece los argumentos por defecto, pero cada vez se hace referencia a la clase debe incluir todos sus argumentos hasta que se introduce la definición.

p.ej. Usemos std::vectorsin incluirlo (el segundo argumento de std::vectorestá definido con un valor predeterminado):

namespace std
{
    template<typename, typename>
    class vector;
}

#include <iostream>

template <typename S, typename T>
void Foo (const std::vector<S,T> & vector)
{
    std::cout << "do vector stuff, eg., display size = "
        << vector.size() << std::endl;
}

template <typename T>
void Foo (const T & t)
{
    std::cout << "do non-vector stuff..." << std::endl;
}

Luego podemos usarlo sin incluir el vector, por ejemplo:

int main()
{
    Foo(3);
}

Y podemos usarlo con std::vector , por ejemplo:

#include <vector>

// Now the compiler understands how to handle
// std::vector with one argument
// (making use of its default argument)

int main()
{
    Foo(std::vector<int>(3));
}

No he comprobado los estándares, pero esto funciona en clang/ gcccon -std=c++98hasta -std=c++17, por lo que si no es oficialmente un estándar, parece que no lo es oficialmente.