Дружественная шаблонная функция шаблонного класса

@Mirmik · Регистрация: 27.02.2014

Author24 — интернет-сервис помощи студентам

Не компилируется. Подскажите правильный синтаксис.

C++

template<typename T> class A;
template<typename T, typename ... Args> void func(A<T> obj, Args ... args);
 
template<typename T>
class A {
    template<typename ... Args>
    friend void func<T, Args...>(A<T> obj, Args ... args);
};
 
template<typename T, typename ... Args> void func(A<T> obj, Args ... args) {}
 
int main() {}

@Nosey · 29.05.2017, 12:08

C++

template<typename T> class A;
template<typename T, typename ... Args> void func(A<T> obj, Args ... args);
 
template<typename T>
class A
{
    template<typename T1, typename ... Args>
    friend void func(A<T1> obj, Args ... args);
};
 
template<typename T, typename ... Args> void func(A<T> obj, Args ... args)
{
}
 
int main()
{
}

@Mirmik · 29.05.2017, 12:11 **[ТС]**

А через специализацию никак?
Во так ведь можно:

C++

template<typename T> class A;
template<typename T> void func(A<T> obj);
 
template<typename T>
class A
{
    friend void func<T>(A<T> obj);
};
 
template<typename T> void func(A<T> obj) {}
 
int main() {
}

@DrOffset · 29.05.2017, 12:37

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

А через специализацию никак?

Для функций частичная специализация не разрешается.

Добавлено через 41 секунду

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

Во так ведь можно:

Это полная специализация. В исходном посте - частичная.

@Mirmik · 29.05.2017, 12:51 **[ТС]**

А почему она частичная?

@DrOffset · 29.05.2017, 13:03

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

А почему она частичная?

Ну как же:
Вот оригинальный шаблон:

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

C++

1	template<typename T, typename ... Args> void func(A<T> obj, Args ... args);

Вот твое friend-объявление:

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

C++

1	template<typename ... Args> friend void func<T, Args...>(A<T> obj, Args ... args);

Первый параметр шаблона специализирован типом T (из объемлющего шаблонного класса), остальные параметры функции остались шаблонными - это частичная специализация функции.

Добавлено через 3 минуты
Ну если понятнее будет, без дополнительных шаблонов и friend:

C++

template<typename T, typename ... Args> 
void func(A<T> obj, Args ... args);
 
template<typename ... Args> 
void func<int, Args...>(A<int> obj, Args ... args); // partial specialization

По смыслу равносильно тому, что было выше.

@DrOffset 18829 / 9832 / 2403 Регистрация: 30.01.2014 Сообщений: 17,267
	29.05.2017, 12:37	4
	Сообщение от Mirmik А через специализацию никак? Для функций частичная специализация не разрешается. Добавлено через 41 секунду Сообщение от Mirmik Во так ведь можно: Это полная специализация. В исходном посте - частичная. 1

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	29.05.2017, 12:51 [ТС]	5
	А почему она частичная? 0

	29.05.2017, 13:03

Опции темы