Создание экземпляра шаблона класса

@_Bes_ · Регистрация: 20.01.2016

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

Есть код:

C++

#include <iostream>
#include <string>
#include <vector>
 
//========================================
 
template <typename T> class SomeClass {};
 
void somefunc(SomeClass<char>);                     //1
 
class AnotherClass
{
    SomeClass<double>& a;                           //2
    SomeClass<int> b;                               //3
};
 
 
int main()
{
    SomeClass<long double>* ptr;                    //4
    auto res = sizeof(SomeClass<std::string>);      //5
 
    return 0;
}

Вопрос: в каких строках создается экземпляр шаблона класса?

@jdzvk · 22.03.2016, 02:42

Не по теме:

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

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

@TheCalligrapher · 22.03.2016, 03:08

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

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

Ничего не понятно. Инстанциирование всегда происходит в каком-то контексте.

Речь идет о том, что вот в таком случае

C++

template <typename T> struct SomeClass
{
  void foo() {}
};

мы фактически имеем дело с двумя относительно независимыми шаблонами: с шаблоном класса template <typename T> struct SomeClass и с шаблоном функции template <typename T> void SomeClass::foo().

Инстанциироваться они будут (или не будут) независимо друг от друга. В частности инстаницация первого не влечет автоматической инстанциации второго.

Именно по этой причине вы можете писать в шаблонах классов "некорректные" определения методов, при условии, что их "некорректность" зависит от параметра шаблона. Инстанциация самого класса не вызывает инстанциации методов. По этой причине некорректность определений методов не будет приводить к ошибкам компиляции. (Пока вы не попытаетесь инстациировать сам метод, например, вызвав его.)

Например, вот такой код является корректным

C++

template <typename T> struct SomeClass
{
  int foo() { return T::size; }
  int bar() { return 42; }
};
 
int main()
{
    SomeClass<char> c;
    return c.bar();
}

Этот код инстанциирует SomeClass<char> и int SomeClass<char>::bar(), но не int SomeClass<char>::foo(). Поэтому ошибки не возникает.

@jdzvk · 22.03.2016, 03:40

Не по теме:

ага.
и если вы написали программу, и компилятор(или интерпретатор) ругается на функцию, вы правите функцию.
а если интерпретатор ругается на шаблон класса - вы переделываете всю программу.
*сорри за этот мелкий смешок, но было не удержаться)

@jdzvk
	22.03.2016, 02:42 Создание экземпляра шаблона класса #21
	Не по теме: м. всякое интересненькое. специализация шаблона класса может инстанцироваться в некоторой точке программы, и превратится собственно в класс. при этом по факту, что то становится чем то(классом со специализацией) лишь в контексте, и проявляется действием? с "инстанцирование методов шаблона класса - процесс независимый от инстанцирования" согласиться трудно. вне контекста истанцирование происходить не может. вернее может, но это бессмысленно - худшее из возможного. *типа если ничего не помогло, или требуются элементарные низкоуровневые действия. -если компилятор не может определить контекст создаваемых объектов, либо это плохой компилятор, либо очень плохая программа? 0

@jdzvk
	22.03.2016, 03:40 Создание экземпляра шаблона класса #23
	Не по теме: ага. и если вы написали программу, и компилятор(или интерпретатор) ругается на функцию, вы правите функцию. а если интерпретатор ругается на шаблон класса - вы переделываете всю программу. *сорри за этот мелкий смешок, но было не удержаться) 0