Para facilitar el uso de mi clase plantilla, he creado una función auxiliar para que el compilador deduzca los tipos; una práctica común.
La declaración friend
no provoca ningún error, pero, al intentar llamar a algún método no-público ...
error:
Test<T>::Test(T) [with T = int]
is private within this context
Parece que mi declaración friend
no concuerda con mi función. Sin embargo, yo lo veo exactamente igual O_O
#include <iostream>
template< typename T > class Test {
template< typename... ARGS > friend Test< T > makeTest( T, ARGS... );
T m_data;
Test( T data ) : m_data( std::move( data ) ) { }
public:
Test( ) : m_data( ) { }
T data( ) const { return m_data; }
};
template< typename T, typename... ARGS > Test< T > makeTest( T t, ARGS... ) {
return Test< T >( std::move( t ) );
}
int main( ) {
Test< int > t = makeTest( 10 );
std::cout << t.data( ) << '\n';
return 0;
}
Código de prueba en wandbox.
He intentado pre-declarando la función plantilla, con idéntico resultado:
template< typename T > class Test;
template< typename T, typename... ARGS > Test< T > makeTest( T t, ARGS... );
template< typename T > class Test {
template< typename... ARGS > friend Test< T > makeTest( T, ARGS... );
.
.
.
error:
Test<T>::Test(T) [with T = int]
is private within this context
EDITO
Creo que no me he sabido explicar adecuadamente; a ver ahora.
A mis ojos, la instanciación de
template< typename T, typename... ARGS > Test< T > makeTest( T t, ARGS... ) {
return Test< T >( std::move( t ) );
}
Debería generar algo así (extremadamente burda aproximación al proceso):
Test_int makeTest_int( int t ) {
return Test_int( t );
}
Lo cual debería de coincidir con mi declaración friend
anterior
template< typename T > class Test {
template< typename... ARGS > friend Test< T > makeTest( T, ARGS... );
que debería de instanciarse en algó mas o menos así:
class Test_int {
friend Test_int makeTest_int( int );
...
Eso es lo que no entiendo: Si ambas instanciaciones coinciden ...
class Test_int {
friend Test_int makeTest_int( int );
...
};
Test_int makeTest_int( int t ) {
return Test_int( t );
}
¿ Porqué el compilador dice que no es lo mismo ?