Как можно переопределить <обобщенный аргумент> в обобщенном классе

@Leeto · Регистрация: 23.12.2011

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

допустим есть что то простое

print.hpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
                        
//                                                  
//
#ifndef Print_HPP
#define Print_HPP
 
 
 
    template <class T> 
    class Print 
 
        {
            public: 
                 //----------- Declaration of Constructors -----------//
                 Print();
        
 
                 //----------- Declaration of Calculator(s) (additional functionality) member(s) function -----------//
                
        
                 //----------- Declaration of Overloaded Operator(s) -----------//
                
                 void Print_Object  ( T& ObjPrint) ; 
 
 
                 // Throw an exception if the two arrays have not the same size.
        };
 
    #ifndef Print_cpp 
 
        #include "Print.cpp"
 
    #endif //#ifndef NumericArray_cpp is CLOSED
 
#endif //NumericArray_hpp is closed

print.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
                                                        
//                                              
//  
    #ifndef Print_cpp
    #define Print_cpp
 
#include "Print.hpp"
#include <iostream>
#include <exception>
#include "boost/shared_ptr.hpp"
 
 
using namespace std; 
 
    template <class T>
    Print<T>::Print()
        {
                
        }
    
    
        template<class T>
     void  Print<T>::Print_Object  ( T& ObjPrint) 
         {
                  cout <<"ObjPrint:" <<  ObjPrint; 
         }
     
 
 
 
#endif //NumericArray_cpp is closed

main.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
#include <iostream>
#include "Print.hpp"
#include <sstream>
 
using namespace std; 
 
 
 
 
class A
{
public   : 
    int x; 
    int y ; 
 
public : 
    
    A(){};
    A(int new_x, int new_y) : x(new_x), y (new_y){}; 
 
        int  calc ()
    {
    return x*y; 
    }
 
     void   takethis(Print<int>& objT )  
        {
     
     
     }
 
    friend std::ostream& operator << (std::ostream& out ,const  A& objA)
    {
        
        return  out  << "x: "<<  objA.x<< "y:" <<  objA.y; 
        
    }
 
 
};
 
 
 
string  get_type( std::string& obj_string)
{
 
    return obj_string; 
    
 
}
 
 
 
int main ()
 
{
 
 
 
    string bb = "A"; 
 
    
 
    A aa(5,6); 
    cout <<"\n "<<  aa; 
 
     get_type(bb); 
     cout <<"\n "; 
     cout <<  get_type(bb); 
 
    //Print< get_type(bb)> p ; 
    //p.Print_Object(aa); 
 
    
    cout <<"\n "; 
    cout <<"\n "; 
    
return 0 ;
}

Хочется что бы можно было бы в зависимости от ситуации менять Print< тип данных вот тут > p ;
Как это можно сделать
попробовал вот так
//Print< get_type(bb)> p ; типа не хочет компелироваться
вообще возможно ли это ???

@ForEveR · 01.09.2012, 01:16

Leeto, Нет. Тип - должен быть известен на этапе компиляции.

@castaway · 01.09.2012, 01:50

Не по теме:

Leeto, нет никакого смысла включать в заголовочный файл print.hpp код print.cpp.

@Leeto · 01.09.2012, 01:55 **[ТС]**

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

Не по теме:

Leeto, нет никакого смысла включать в заголовочный файл print.hpp код print.cpp.

если ты имеешь ввиду вот этот кусок иклюд гейтов

C++
1
2
3
4
5
6
7
 #ifndef Print_cpp 
 
        #include "Print.cpp"
 
    #endif 
 
#endif

то имеет
это типплейт

Добавлено через 1 минуту

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

Leeto, Нет. Тип - должен быть известен на этапе компиляции.

спасибо

я решил тупо все сразу всключь
а ля

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
                                                
//
#ifndef Print_HPP
#define Print_HPP
 
 
 
    template <class T, class A, class B> 
    class Print 
 
        {
            public: 
                 //----------- Declaration of Constructors -----------//
                 Print();
        
 
               
                
        
                 //----------- Declaration of Overloaded Operator(s) -----------//
                
                 void Print_Object  ( T& ObjPrint) ; 
                 void Print_Object (A& ObjPrint); 
                 void Print_Object (B& ObjPrint) ; 
 
 
                 // Throw an exception if the two arrays have not the same size.
        };
 
    #ifndef Print_cpp 
 
        #include "Print.cpp"
 
    #endif //#ifndef NumericArray_cpp is CLOSED
 
#endif //NumericArray_hpp is closed

@castaway · 01.09.2012, 01:57

Leeto, я не понял что ты сказал, но необходимости (и тем более смысла) в этом однозначно нет.

@ForEveR · 01.09.2012, 02:32

lazybiz, Есть. Релизация шаблонных функций должна быть видима. Следовательно можно написать реализацию либо в хедере, либо в другой файле (расширение не имеет значение, хотя .cpp использовать явно не стоит) и иклудить его в файл с объявлением.

@Leeto · 01.09.2012, 02:38 **[ТС]**

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

я решил тупо все сразу всключь

"всключь" ))))) имел ввиду включить

@castaway · 01.09.2012, 02:45

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

Релизация шаблонных функций должна быть видима.

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

@soon · 01.09.2012, 05:40

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

И все-таки не вижу в этом никакого смысла.

Шаблоны инстанцируются на этапе компиляции, а значит, реализации шаблонных функций должны быть известны на этапе компиляции, иначе вылетит ошибка линковщика(undefined reference).

@castaway · 01.09.2012, 12:56

soon, все абсолютно то же самое. Переделал только то о чем говорил.

print.hpp

C++
1
2
3
4
5
6
7
8
9
10
11
#ifndef Print_HPP
#define Print_HPP
 
template <class T> 
class Print {
public: 
    Print();
    void Print_Object( T& ObjPrint ); 
};
 
#endif

print.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
#include "print.hpp"
 
using namespace std; 
 
template <class T>
Print<T>::Print()
{
}
 
template <class T>
void Print<T>::Print_Object( T& ObjPrint ) 
{
    cout <<"ObjPrint:" <<  ObjPrint; 
}

main.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#include <iostream>
#include <sstream>
#include "print.hpp"
 
using namespace std; 
 
class A {
public:
    int x; 
    int y; 
 
    A() {};
    A( int new_x, int new_y ) : x(new_x), y (new_y) {}; 
 
    int calc() {
        return x * y; 
    }
 
    void takethis( Print <int>& objT ) {}
 
    friend std::ostream& operator << ( std::ostream& out, const A& objA ) {
        return out  << "x: "<<  objA.x<< "y:" <<  objA.y; 
    }
};
 
string get_type( std::string& obj_string )
{
    return obj_string; 
}
 
int main()
{
    string bb = "A"; 
 
    A aa( 5, 6 ); 
    cout <<"\n "<< aa; 
 
    get_type( bb ); 
    cout <<"\n "; 
    cout <<  get_type( bb ); 
 
    cout <<"\n "; 
    cout <<"\n "; 
    
    return 0;
}

Нет никакой ошибки линковщика.

@Toshkarik · 01.09.2012, 13:09

Вы попробуйте создать две специализации шаблона... Добавьте Print< double > к примеру.

@OhMyGodSoLong · 01.09.2012, 13:11

lazybiz, а что иллюстрирует данный пример? Где здесь вообще используются шаблоны? Ну кроме строки 19 main.cpp, которая вообще dead code и является ссылкой на тип (не в плане &), а не использованием?

(Опять читать разучился.)

@castaway · 01.09.2012, 13:18

Toshkarik, добавить куда? В класс A тот что в

main.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#include <iostream>
#include <sstream>
#include "print.hpp"
 
using namespace std; 
 
class A {
public:
    int x; 
    int y; 
 
    A() {};
    A( int new_x, int new_y ) : x(new_x), y (new_y) {}; 
 
    int calc() {
        return x * y; 
    }
 
    void takethis( Print <int>& objT ) {}
    void takethis( Print <double>& objT ) {}
 
    friend std::ostream& operator << ( std::ostream& out, const A& objA ) {
        return out  << "x: "<<  objA.x<< "y:" <<  objA.y; 
    }
};
 
string get_type( std::string& obj_string )
{
    return obj_string; 
}
 
int main()
{
    string bb = "A"; 
 
    A aa( 5, 6 ); 
    cout << "\n" << aa;
 
    get_type( bb ); 
    cout <<"\n "; 
    cout <<  get_type( bb ); 
 
    cout <<"\n "; 
    cout <<"\n "; 
    
    return 0 ;
}

? Если так то компилируется.
~OhMyGodSoLong~, то что в этой программе нет никакого смысла в заголовочный файл включать cpp.

@Toshkarik · 01.09.2012, 13:19

Да вот хотябы, просто поменяйте main.cpp на

C++
1
2
3
4
5
6
int main() {
   Print< double > a;
   Print< int > b;
   
   return 0;
}

@castaway · 01.09.2012, 13:28

Toshkarik, выйти из этого можно добавлением всех шаблонных членов в заголовочный файл.
Это будет куда лучше чем подключать cpp-шник.

@OhMyGodSoLong · 01.09.2012, 13:29

Я уже понял, я не понял, что это про инклюд, а не про какую-то хитродинамику :)

Не знаю, как у вас, но у меня линкер вполне себе ругается на

вот это

foo.h

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#ifndef FOO
#define FOO
 
template <class A>
class Foo {
  A value;
public:
  Foo();
  Foo(const A &val);
  A get() const;
};
 
#endif

foo.cpp

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include "foo.h"
 
template <class A>
Foo<A>::Foo() {}
 
template <class A>
Foo<A>::Foo(const A &val) : value(val) {}
 
template <class A>
A Foo<A>::get() const
{
  return value;
}

main.cpp

C++
1
2
3
4
5
6
7
8
9
#include <iostream>
 
#include "foo.h"
 
int main()
{
  Foo<int> x(10);
  std::cout << x.get();
}

вот так

Code
1
2
3
4
5
6
c:\Tmp\d>g++ main.cpp foo.cpp
C:\Users\---------\AppData\Local\Temp\cckjhS0M.o:main.cpp:(.text+0x26): undefined
 reference to `Foo<int>::Foo(int const&)'
C:\Users\---------\AppData\Local\Temp\cckjhS0M.o:main.cpp:(.text+0x32): undefined
 reference to `Foo<int>::get() const'
collect2: ld returned 1 exit status

. Что я делаю не так?

@castaway · 01.09.2012, 13:32

Сообщение от ~OhMyGodSoLong~

Что я делаю не так?

.....

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

выйти из этого можно добавлением всех шаблонных членов в заголовочный файл.

@Toshkarik · 01.09.2012, 13:33

lazybiz, так про это и говорили, в частности ForEveR, что просто не удачно выбрано расширение файла.

@castaway · 01.09.2012, 13:37

Toshkarik, если ты посмотришь на файлы print.hpp и print.cpp из первого поста то поймешь, что расширение то как раз он выбрал правильное. В print.hpp описание класса. В print.cpp его реализация.
Если бы было не так, я бы не стал ничего говорить.

@Toshkarik · 01.09.2012, 13:42

Там реализация шаблонного класса. Правильней было бы назвать как то так Print_Implementation.hpp

Новые блоги и статьи Все статьи Все блоги /
Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита, которое может. . .	Команды "Заполнить" и "Очистить" на форме документа Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". На примере нетипового документа разработанного в конфигурации КА2. В качестве источника данных указан регистр накопления, в который записываются данные о. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .
Отправка уведомления на почту при изменении наименования справочника 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, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	01.09.2012, 01:16
	Leeto, Нет. Тип - должен быть известен на этапе компиляции. 1

@castaway
	01.09.2012, 01:50
	Не по теме: Leeto, нет никакого смысла включать в заголовочный файл print.hpp код print.cpp. 1

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	01.09.2012, 01:57
	Leeto, я не понял что ты сказал, но необходимости (и тем более смысла) в этом однозначно нет. 1

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	01.09.2012, 02:32
	lazybiz, Есть. Релизация шаблонных функций должна быть видима. Следовательно можно написать реализацию либо в хедере, либо в другой файле (расширение не имеет значение, хотя .cpp использовать явно не стоит) и иклудить его в файл с объявлением. 1

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	01.09.2012, 13:09
	Вы попробуйте создать две специализации шаблона... Добавьте Print< double > к примеру. 0

@OhMyGodSoLong ~ Эврика! ~ 1258 / 1007 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	01.09.2012, 13:11
	lazybiz, а что иллюстрирует данный пример? Где здесь вообще используются шаблоны? Ну кроме строки 19 main.cpp, которая вообще dead code и является ссылкой на тип (не в плане &), а не использованием? (Опять читать разучился.) 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	01.09.2012, 13:28
	Toshkarik, выйти из этого можно добавлением всех шаблонных членов в заголовочный файл. Это будет куда лучше чем подключать cpp-шник. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	01.09.2012, 13:33
	lazybiz, так про это и говорили, в частности ForEveR, что просто не удачно выбрано расширение файла. 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	01.09.2012, 13:37
	Toshkarik, если ты посмотришь на файлы print.hpp и print.cpp из первого поста то поймешь, что расширение то как раз он выбрал правильное. В print.hpp описание класса. В print.cpp его реализация. Если бы было не так, я бы не стал ничего говорить. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	01.09.2012, 13:42
	Там реализация шаблонного класса. Правильней было бы назвать как то так Print_Implementation.hpp 0