Инициализация члена шаблона класса шаблонным конструктором

@Alexxfiles666 · Регистрация: 12.09.2015

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

Здравствуйте! Есть такой шаблонный класс:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
template<typename T>
class Shared {
public:
    Shared()
        : ptr_(nullptr)
    {}
 
    template<typename T2>
    Shared(T2* ptr)
        : ptr_(ptr)
    {}
 
    template<typename T2>
    Shared(const Shared<T2>& other) 
        : ptr_(other.ptr_)
    {}
 
private:
    template<typename T2> friend class Shared;
 
    T* ptr_;
 
};

я не стал приводить операторные функции класса, стер их. В программе я буду использовать например Shared<Resourse>. Таким образом в разделе private указатель ptr_ для класса Shared<Resourse> будем иметь тип: Resourse*. Допустим в программе при инициализации класса Shared<Resourse> я использую конструктор template<typename T2> Shared(T2* ptr) : ptr_(ptr). Где Т2 - будет допустим тип int. Тогда в программе будет вот такой код:

C++
1
2
int *ukaz;
Shared<Resourse> resourse_(ukaz);

Тогда конструктор присвоит члену шаблона класса ptr_ указатель ukaz. Но ведь тип ptr_ - указатель на тип Resourse. А тип параметра конструктора ptr - указатель на тип int. То есть произойдет присвоение указателя одного типа указателю другого типа. В этом случае произойдет неявное преобразование типов и ptr_ будет иметь тип int*?

@_stanislav · 26.01.2019, 16:15

Alexxfiles666, T2 может быть реализацией интерфейса, абстрактного класса T

@Alexxfiles666 · 26.01.2019, 16:23 **[ТС]**

T2 может быть реализацией интерфейса, абстрактного класса T

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

@Alexxfiles666 · 28.01.2019, 20:49 **[ТС]**

Я разобрался как такое может быть! Оказывается, конструктор типа template<typename T2> Shared(T2* ptr) : ptr_(ptr) {} может инициализировать переменную ptr_ класса Resourse указателем ptr, который указывает на любой другой класс, если класс Resourse - это базовый класс по отношению к классу указателя ptr! То есть класс указателя ptr должен быть производным от класса указателя ptr_.

@_stanislav · 29.01.2019, 00:20

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

Я разобрался как такое может быть!

полиморфизм братан

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@_stanislav "C with Classes" 2022 / 1404 / 523 Регистрация: 16.08.2014 Сообщений: 5,885 Записей в блоге: 1
	26.01.2019, 16:15
	Alexxfiles666, `T2` может быть реализацией интерфейса, абстрактного класса `T` 1

@Alexxfiles666 1 / 1 / 0 Регистрация: 12.09.2015 Сообщений: 12
	28.01.2019, 20:49 [ТС]
	Я разобрался как такое может быть! Оказывается, конструктор типа *template<typename T2> Shared(T2 ptr) : ptr_(ptr) {}** может инициализировать переменную ptr_ класса Resourse указателем ptr, который указывает на любой другой класс, если класс Resourse - это базовый класс по отношению к классу указателя ptr! То есть класс указателя ptr должен быть производным от класса указателя ptr_. 0