вложенные шаблонные классы

[pproger]

не пойму, почему студия дает специализировать вложенные шаблонные классы, гцц нет. кто нить в состоянии внятно объяснить, почему этого делать нельзя?

[netrino]

А можно пример? У меня в таком случае работает:

#include <iostream>

template <class T, class N>
class First {
public:
	template <class M>
	class Second {
	public:
		M i;
	};

	template <>
	class Second<N> { // Параметр шаблона Second совпадает со вторым параметром шаблона First
	public:
		unsigned int i;
	};

	template <>
	class Second<T> { // Параметр шаблона Second совпадает с первым параметром шаблона First
	public:
		unsigned long long int i;
	};
};

int main() {
	First <int, char>::Second <short> object_a;
	First <int, char>::Second <char>  object_b; // первая специализация
	First <int, char>::Second <int>   object_c; // вторая специализация

	object_a.i = -1;
	object_b.i = -1;
	object_c.i = -1;

	std::cout << object_a.i << std::endl;
	std::cout << object_b.i << std::endl;
	std::cout << object_c.i << std::endl;

	std::cin.ignore ();
    return 0;
}

[pproger]

2netrino
твой пример подходит к описанию.

$ g++ main.cpp
main.cpp:30: error: explicit specialization in non-namespace scope ‘class First<T, N>’
main.cpp:31: error: template parameters not used in partial specialization:
main.cpp:31: error: ‘T’
main.cpp:36: error: explicit specialization in non-namespace scope ‘class First<T, N>’
main.cpp:37: error: template parameters not used in partial specialization:
main.cpp:37: error: ‘N’

даже в нешаблонном классе не дает специализировать шаблонный класс. я не догоняю ошибку про пространство имен

[netrino]

Сообщение от pproger

2netrino
твой пример подходит к описанию.



даже в нешаблонном классе не дает специализировать шаблонный класс. я не догоняю ошибку про пространство имен

Пардон, неправильно понял вопрос сначала. Пропустил тот код через кланг, у него получше сообщения об ошибках и совместимость с гцц. Выдал он по сути то же самое:

D:\>clang++ -fsyntax-only main.cpp
main.cpp(13) : error: explicit specialization of 'Second' in class scope
class Second<N> {
^
main.cpp(19) : error: explicit specialization of 'Second' in class scope
class Second<T> {
^
2 errors generated.

Вытащил специализацию из класса и кланг пропустил, но гцц всё равно валится на специализации

D:\>g++ -fsyntax-only main.cpp
main.cpp:14:11: error: invalid explicit specialization before '>' token
main.cpp:14:11: error: enclosing class templates are not explicitly specialized
main.cpp:15:20: error: template parameters not used in partial specialization:
main.cpp:15:20: error: 'T'
main.cpp:21:11: error: invalid explicit specialization before '>' token
main.cpp:21:11: error: enclosing class templates are not explicitly specialized
main.cpp:22:20: error: template parameters not used in partial specialization:
main.cpp:22:20: error: 'N'

как тут исправить пока в голову не пришло)

#include <iostream>

template <class T, class N>
class First {
public:
	template <class M>
	class Second {
	public:
		M i;
	};
};

template <class T, class N>
template <>
class First<T, N>::Second<N> {
	public:
		unsigned int i;
};

template <class T, class N>
template <>
class First<T, N>::Second<T> {
	public:
		unsigned long long int i;
};

int main() {
	First <int, char>::Second <short> object_a;
	First <int, char>::Second <char>  object_b;
	First <int, char>::Second <int>   object_c;

	object_a.i = -1;
	object_b.i = -1;
	object_c.i = -1;

	std::cout << object_a.i << std::endl;
	std::cout << object_b.i << std::endl;
	std::cout << object_c.i << std::endl;

	std::cin.ignore (); 
	return 0;
}

гцц - мингв 4.5.0

у гцц кажется всегда были какие-то проблемы с пространствами имён, ещё с чем-то подобным сталкивался, но сейчас не припомню с чем конкретно..

[pproger]

2netrino
да как исправить то понятно) 1. убрать специализацию. 2. вынести за пределы класса. но хотелось бы разобраться, почему вложенные шаблоны не хочет. имхо удобно держать там traits всякие, требующиеся только самому классу, поэтому зачем их выносить за пределы

[netrino]

Ну это уже радикальные меры)
Где-то прочёл, что если вложенный класс специализируется, то и внешний тоже должен быть специализирован. То есть либо так:

#include <iostream>
#include <typeinfo>

template <typename Type>
class Scope {
public:
	template <typename T>
	class Spec {
	public:
		T n;
	};
};

template <>
template <>
class Scope<int>::Spec <int> {
public:
	unsigned int n;
};

int main() {
	Scope<int>::Spec <char> a;
	Scope<int>::Spec <int > b;
	
	std::cout << std::boolalpha << ( typeid (a.n) == typeid (char    ) ) << std::endl;
	std::cout << std::boolalpha << ( typeid (b.n) == typeid (unsigned) ) << std::endl;

	std::cin.ignore (); 
	return 0;
}

либо убирать "шаблонность" внешнего класса

[pproger]

2netrino
ага, точно) я пытался специализировать с внешним классом, но забыл про второй template <> спасиб