Частичная и не частичная специализация

@_stanislav · Регистрация: 16.08.2014

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>
 
template< typename T >
struct A
{
  char a;
};
 
template< typename T >
struct A< T * >
{
  A< void * > impl;
};
 
int main()
{
  A< int * > a;
  return 0;
}

Почему данный код не вызывает бесконечную рекурсию, то есть почему для инстанцирования A< void * > impl; выбирается первичный шаблон?

IGPIGP · 11.03.2023, 22:23

_stanislav, оно у вас компилируется? У меня
...\main.cpp|932|error: field 'impl' has incomplete type 'A<void*>'|

@_stanislav · 11.03.2023, 22:55 **[ТС]**

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

оно у вас компилируется?

студия 19 скомпилила, на gcc не проверил

IGPIGP · 11.03.2023, 23:30

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

студия 19 скомпилила, на gcc не проверил

У меня Microsoft Visual C++ 2019 тоже собрала. Красава)

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
template< typename T >
struct A
{
    char a;
};
 
template< typename T >
struct A< T* >
{
    //typename 
        A< void* > impl; //...\main.cpp|932|error: field 'impl' has incomplete type 'A<void*>'|
};
 
int main()
{
    A< int* > a;
    a.impl.a = 'a';
    std::cout << a.impl.a;//печатает a ))
     
    return 0;
}

Отако...

@TheCalligrapher · 11.03.2023, 23:43

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

студия 19 скомпилила

Если добавить предварительное объявление частичной специализации, то студия понимает, что здесь следует использовать именно частичную специализацию и отлавливает эту ошибку

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
template< typename T >
struct A
{
  char a;
};
 
template< typename T > struct A< T * >; // <- добавлено
 
template< typename T >
struct A< T * >
{
  A< void * > impl;
};
 
int main()
{
  A< int * > a;
}

Code
1
2
3
4
(12) error C2460: 'A<void *>::impl': uses 'A<void *>', which is being defined
(12) note: see declaration of 'A<void *>'
(12) note: see reference to class template instantiation 'A<void *>' being compiled
(13) note: see reference to class template instantiation 'A<T*>' being compiled

Новые блоги и статьи Все статьи Все блоги /
Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .
SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью в КА2. Данные берутся из регистра сведений, по которому настроено. . .

Частичная и не частичная специализация

Решение

Решение

IGPIGP Комп_Оратор) $Эксперт по математике/физике$ 9007 / 4708 / 630 Регистрация: 04.12.2011 Сообщений: 14,003 Записей в блоге: 16
	11.03.2023, 22:23
	Сообщение было отмечено _stanislav как решение Решение _stanislav, оно у вас компилируется? У меня ...\main.cpp\|932\|error: field 'impl' has incomplete type 'A<void*>'\| 1