C++ 0x: ¿se permiten tuplas de tuplas?

Question

Actualmente estoy trabajando en una clase con una gran cantidad de plantillas y ser capaces de construir tuplas de tuplas haría mucho más fácil

Pero probado este código simple en MSVC++ 2010:

#include <tuple> 

void main() { 
    auto x = std::make_tuple(std::make_tuple(5, true)); 
} 

Y obtengo un error de compilación. El mismo problema ocurre si no uso std :: make_tuple pero directamente std :: tuple's constructor

¿Es un error de MSVC o son tuplas de tuplas no permitidas por el estándar?

Gracias

Answer 1

más puntos de datos:

• Si utilizamos std::tr1::tuple y estatales explícitamente el tipo de lugar de utilizar auto, a continuación, Visual C++ 2008 compila el código sin error. Intentar compilar el mismo código con Visual C++ 2010 da como resultado el error que está viendo.

• Si usamos boost::tuple declaramos explícitamente el tipo en lugar de usar auto, entonces Visual C++ 2008 y Visual C++ 2010 compilan el código sin error.

Parece que es probablemente un error de implementación.

Answer 2

Has hecho una tupla con un solo miembro --- ¿eso no acaba con el objetivo de las tuplas? De todos modos, sospecho que eso conduce a la ambigüedad.

make_tuple combina la inferencia de tipo con una llamada al constructor tuple. Cuando se llama al constructor tuple con un único argumento que también es tuple, es posible que un constructor de conversión se ajuste mejor que un constructor de envoltura. De ahí el problema.

Se permiten tuplas de tuplas. 1-Tuples podría no serlo