Возвращаемые значения функции шаблонного класса A и A<T>

@kotleta · Регистрация: 13.09.2012

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

C++

 первый листинг 
 
template <typename T>
class A
{
 
 public:
  T a;
 
  A& f()
  {
   a=3;
  }
};

C++

второй листинг
template <typename T>
class A
{
 
 public:
  T a;
 
  A<T>& f()
  {
   a=3;
  }
};

В первом случае возвращается объекта класса А, а во втором случае объект параметризованного класса А. Но у меня как-то неукладывается в голове.

Если класс параметризованный, то при возвращении объекта класса А без указания параметров шаблона будет получатся так, что нет возможности понять разницу: возвращаемый объект А не показывает какой тип был применен для формирования класса А.

Например:

A <int>
A <double>

но функция f из первого листинга вернет объект класса А

Сможем ли мы их сравнивать? И какой тогда смысл возвращать объект класса без параметров в параметризованном классе.

В случае при втором листинге, все гораздо понятнее
Если объявили A<int>
то и вернется объект A <int> по завершении функции f

@ForEveR · 27.09.2012, 14:24

В параметризованном классе, ежели мы используем непараметризованный тип данного класса - компилятор знает, что мы имеем ввиду текущий инстанс.

C++

template<typename T>
struct This
{
   // Эквивалентно This<T>& get_this() const;
   This& get_this() const;
};

@DU · 27.09.2012, 14:33

ога. вот еще доказательство:
http://liveworkspace.org/code/... afef6024ae

C++

#include <iostream>
 
template <typename T>
class A
{
  public:
    static void Check()
    {
       const bool is = std::is_same< A, A<T> >::value;
       std::cout << is << std::endl; 
    }
};
 
 
int main()
{
  A<int>::Check();
  return 0;
}

	27.09.2012, 14:33

Опции темы