Форум программистов, компьютерный форум CyberForum.ru

переопределение шаблонов - C++

Восстановить пароль Регистрация
 
yoghurt92
373 / 344 / 22
Регистрация: 17.05.2012
Сообщений: 1,049
22.01.2013, 15:07     переопределение шаблонов #1
Есть такой код:

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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
#ifndef ARRAY1_H
#define ARRAY1_H
 
#include <iostream>
#include <locale.h>
#include <assert.h>
using namespace std;
 
template<class V>
class Array
{
    template<class V>
    friend wostream& operator<<(wostream &, const Array<V> &);
    template<class V>
    friend wistream& operator>>(wistream &, const Array<V> &);
 
    public:
        Array(int = 10);
        Array(const Array &);
        ~Array();
        int getSize() const;
        const Array& operator=(const Array &);
 
        V operator==(const Array &) const;
        V operator!=(const Array &) const;
        V &operator[](int);
        static int getArrayCount();
 
    private:
        V *ptr;
        int size;
 
        static int ArrayCount;
};
 
template<class V>
int Array<V>::ArrayCount = 0;
 
template<class V>
Array<V>::Array(int arraySize)
{
    ++ArrayCount;
    size = arraySize;
    ptr = new V[size];
    assert(ptr != 0);           //завершение если память не выделена
 
    for(int i = 0; i < size; i++)
        ptr[i] = 0;                 //присвоение начальных значений
}
 
template<class V>
Array<V>::Array(const Array &init)
{
    ++ArrayCount;
    size = init.size;
    ptr = new V[size];
    assert(ptr != 0);           //завершение если память не выделена
 
    for(int i = 0; i < size; i++)
        ptr[i] = init.ptr[i];                   //копирование init в объект
}
 
template<class V>
Array<V>::~Array()
{
    --ArrayCount;
    delete []ptr;
}
 
template<class V>
int Array<V>::getSize() const {return size;}
 
template<class V>
const Array<V>& Array<V>::operator=(const Array &right)
{
    if(&right != this)
    {
        delete []ptr;
        size = right.size;
        ptr = new V[size];
        assert(ptr != 0);
 
        for(int i = 0; i < size; i++)
            ptr[i] = right.ptr[i];
    }
 
    return *this;               //позволяет = y = z
}
 
template<class V>
V Array<V>::operator ==(const Array &right) const
{
    if(size != right.size)
        return 0;
 
    for(int i = 0; i < size; i++)
        if(ptr[i] != right.ptr[i])
            return 0;
 
    return 1;
}
 
template<class V>
V Array<V>::operator !=(const Array &right) const
{
    if(size != right.size)
        return 1;
 
    for(int i = 0; i < size; i++)
        if(ptr[i] != right.ptr[i])
            return 1;
 
    return 0;
}
 
template<class V>
V &Array<V>::operator [](int subscript)
{
    assert(0 <= subscript && subscript < size);
 
    return ptr[subscript];
}
 
template<class V>
int Array<V>::getArrayCount() {return ArrayCount;}
 
template<class V>
wistream& operator>>(wistream &inpyt, const Array<V> &a)
{
    for(int i = 0; i < a.getSize(); i++)
        inpyt >> a.ptr[i];
 
    return inpyt;       //позволяет cin >> x >> y
}
 
template<class V>
wostream& operator<<(wostream &outpyt, const Array<V> &a)
{
    for(int i = 0; i < a.getSize(); i++)
    {
        outpyt << a.ptr[i] << ' ';
    }
 
    return outpyt;      //позволяет cout << x << y
}
#endif ARRAY1_H
а теперь нужно переопределить этот шаблон но уже явно для типа float...
создаю другой .h файл и делаю так:

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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
#ifndef ARRAY2_H
#define ARRAY2_H
 
#include <iostream>
#include <locale.h>
#include <assert.h>
using namespace std;
 
template<int>
class Array
{
    template<int>
    friend wostream& operator<<(wostream &, const Array<int> &);
    template<int>
    friend wistream& operator>>(wistream &, const Array<int> &);
 
    public:
        Array(int = 10);
        Array(const Array &);
        ~Array();
        int getSize() const;
        const Array& operator=(const Array &);
 
        int operator==(const Array &) const;
        int operator!=(const Array &) const;
        int &operator[](int);
        static int getArrayCount();
 
    private:
        int *ptr;
        int size;
 
        static int ArrayCount;
};
 
template<int>
int Array<int>::ArrayCount = 0;
 
template<int>
Array<int>::Array(int arraySize)
{
    ++ArrayCount;
    size = arraySize;
    ptr = new int[size];
    assert(ptr != 0);           //завершение если память не выделена
 
    for(int i = 0; i < size; i++)
        ptr[i] = 0;                 //присвоение начальных значений
}
 
template<int>
Array<int>::Array(const Array &init)
{
    ++ArrayCount;
    size = init.size;
    ptr = new int[size];
    assert(ptr != 0);           //завершение если память не выделена
 
    for(int i = 0; i < size; i++)
        ptr[i] = init.ptr[i];                   //копирование init в объект
}
 
template<int>
Array<int>::~Array()
{
    --ArrayCount;
    delete []ptr;
}
 
template<int>
int Array<int>::getSize() const {return size;}
 
template<int>
const Array<int>& Array<T>::operator=(const Array &right)
{
    if(&right != this)
    {
        delete []ptr;
        size = right.size;
        ptr = new int[size];
        assert(ptr != 0);
 
        for(int i = 0; i < size; i++)
            ptr[i] = right.ptr[i];
    }
 
    return *this;               //позволяет = y = z
}
 
template<int>
int Array<int>::operator ==(const Array &right) const
{
    if(size != right.size)
        return 0;
 
    for(int i = 0; i < size; i++)
        if(ptr[i] != right.ptr[i])
            return 0;
 
    return 1;
}
 
template<int>
int Array<int>::operator !=(const Array &right) const
{
    if(size != right.size)
        return 1;
 
    for(int i = 0; i < size; i++)
        if(ptr[i] != right.ptr[i])
            return 1;
 
    return 0;
}
 
template<int>
int &Array<int>::operator [](int subscript)
{
    assert(0 <= subscript && subscript < size);
 
    return ptr[subscript];
}
 
template<int>
int Array<int>::getArrayCount() {return ArrayCount;}
 
template<int>
wistream& operator>>(wistream &inpyt, const Array<int> &a)
{
    for(int i = 0; i < a.getSize(); i++)
        inpyt >> a.ptr[i];
 
    return inpyt;       //позволяет cin >> x >> y
}
 
template<int>
wostream& operator<<(wostream &outpyt, const Array<int> &a)
{
    for(int i = 0; i < a.getSize(); i++)
    {
        outpyt << a.ptr[i] << ' ';
    }
 
    return outpyt;      //позволяет cout << x << y
}
 
#endif ARRAY2_H
Выдает:
C++
1
error C3855: 'Array': template parameter 'V' is incompatible with the declaration
И там дальше еще кучу ошибок... в чем может быть проблема? Заранее благодарю!
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
22.01.2013, 15:07     переопределение шаблонов
Посмотрите здесь:

Каталог шаблонов C++
С++, создание шаблонов C++
C++ Наследование шаблонов
использование шаблонов C++
C++ переопределение
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
Jupiter
Каратель
Эксперт C++
6543 / 3963 / 226
Регистрация: 26.03.2010
Сообщений: 9,273
Записей в блоге: 1
Завершенные тесты: 2
22.01.2013, 15:21     переопределение шаблонов #2
C++
1
2
template<>
class Array<int>
в остальных местах так же
gray_fox
What a waste!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 3
22.01.2013, 15:23     переопределение шаблонов #3
Цитата Сообщение от yoghurt92 Посмотреть сообщение
переопределить этот шаблон
Переопределить нельзя, можно специализировать:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template<typename T>
class Array {
 
   T * ptr;
   int size;
};
 
template<>
class Array<int> {
 
   int * ptr;
   int size;
};
Valli1
4 / 4 / 0
Регистрация: 14.09.2012
Сообщений: 64
22.01.2013, 19:27     переопределение шаблонов #4
C++
1
template void <int> f(int,int);
Использовать шаблон функции, что-бы сгенерировать определение для int.
Явное создание экземпляра. Пратта С."Язык программирования С++" стр.409.
yoghurt92
373 / 344 / 22
Регистрация: 17.05.2012
Сообщений: 1,049
22.01.2013, 20:57  [ТС]     переопределение шаблонов #5
gray_fox, сделал вот так, только для float, запилил в отдельный хэдер но все равно выдает вот что:

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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
#ifndef ARRAY3_H
#define ARRAY3_H
 
#include <iostream>
#include <locale.h>
#include <assert.h>
using namespace std;
 
template<>
class Array<float>
{
    template<>
    friend wostream& operator<<(wostream &, const Array<float> &);
    template<>
    friend wistream& operator>>(wistream &, const Array<float> &);
 
    public:
        Array(int = 10);
        Array(const Array &);
        ~Array();
        int getSize() const;
        const Array& operator=(const Array &);
 
        int operator==(const Array &) const;
        int operator!=(const Array &) const;
        int &operator[](int);
        static int getArrayCount();
 
    private:
        int *ptr;
        int size;
 
        static int ArrayCount;
};
 
template<>
int Array<float>::ArrayCount = 0;
 
template<>
Array<float>::Array(int arraySize)
{
    ++ArrayCount;
    size = arraySize;
    ptr = new int[size];
    assert(ptr != 0);           //завершение если память не выделена
 
    for(int i = 0; i < size; i++)
        ptr[i] = 0;                 //присвоение начальных значений
}
 
template<>
Array<float>::Array(const Array &init)
{
    ++ArrayCount;
    size = init.size;
    ptr = new int[size];
    assert(ptr != 0);           //завершение если память не выделена
 
    for(int i = 0; i < size; i++)
        ptr[i] = init.ptr[i];                   //копирование init в объект
}
 
template<>
Array<float>::~Array()
{
    --ArrayCount;
    delete []ptr;
}
 
template<>
int Array<float>::getSize() const {return size;}
 
template<>
const Array<float>& Array<T>::operator=(const Array &right)
{
    if(&right != this)
    {
        delete []ptr;
        size = right.size;
        ptr = new int[size];
        assert(ptr != 0);
 
        for(int i = 0; i < size; i++)
            ptr[i] = right.ptr[i];
    }
 
    return *this;               //позволяет = y = z
}
 
template<>
int Array<float>::operator ==(const Array &right) const
{
    if(size != right.size)
        return 0;
 
    for(int i = 0; i < size; i++)
        if(ptr[i] != right.ptr[i])
            return 0;
 
    return 1;
}
 
template<>
int Array<float>::operator !=(const Array &right) const
{
    if(size != right.size)
        return 1;
 
    for(int i = 0; i < size; i++)
        if(ptr[i] != right.ptr[i])
            return 1;
 
    return 0;
}
 
template<>
int &Array<float>::operator [](int subscript)
{
    assert(0 <= subscript && subscript < size);
 
    return ptr[subscript];
}
 
template<>
int Array<float>::getArrayCount() {return ArrayCount;}
 
template<>
wistream& operator>>(wistream &inpyt, const Array<float> &a)
{
    for(int i = 0; i < a.getSize(); i++)
        inpyt >> a.ptr[i];
 
    return inpyt;       //позволяет cin >> x >> y
}
 
template<>
wostream& operator<<(wostream &outpyt, const Array<float> &a)
{
    wcout << "\nFloat\n";
    for(int i = 0; i < a.getSize(); i++)
    {
        outpyt << a.ptr[i] << ' ';
    }
 
    return outpyt;      //позволяет cout << x << y
}
 
#endif ARRAY3_H
И ошибки:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
'operator <<' : a friend function definition cannot be a specialization of a function template
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(15) : error C3637: 'operator >>' : a friend function definition cannot be a specialization of a function template
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(37) : error C2998: 'int Array<float>::ArrayCount' : cannot be a template definition
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(49) : error C2910: 'Array<float>::{ctor}' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(61) : error C2910: 'Array<float>::{ctor}' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(68) : error C2910: 'Array<float>::~Array' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(71) : error C2910: 'Array<float>::getSize' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(74) : error C2065: 'T' : undeclared identifier
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(74) : error C2955: 'Array' : use of class template requires template argument list
1>        c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array1.h(11) : see declaration of 'Array'
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(74) : error C2955: 'Array' : use of class template requires template argument list
1>        c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array1.h(11) : see declaration of 'Array'
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(88) : error C2910: 'Array<V>::operator =' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(101) : error C2910: 'Array<float>::operator ==' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(114) : error C2910: 'Array<float>::operator !=' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(122) : error C2910: 'Array<float>::operator []' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(125) : error C2910: 'Array<float>::getArrayCount' : cannot be explicitly specialized
1>c:\users\vanya\documents\visual studio 2008\projects\templ\templ\array3.h(131) : fatal error C1903: unable to recover from previous error(s); stopping compilation
1>Build log was saved at "file://c:\Users\Vanya\Documents\Visual Studio 2008\Projects\templ\templ\Debug\BuildLog.htm"
gray_fox
What a waste!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 3
22.01.2013, 21:09     переопределение шаблонов #6
Цитата Сообщение от yoghurt92 Посмотреть сообщение
template<> friend wostream& operator<<(wostream &, const Array<float> &);
template<> здесь не нужно. При определении методов\членов специализации тоже. И для специализации нужно знать определение самого шаблона (включить заголовочный файл с шаблоном в файл с его специализацией).
yoghurt92
373 / 344 / 22
Регистрация: 17.05.2012
Сообщений: 1,049
22.01.2013, 21:14  [ТС]     переопределение шаблонов #7
gray_fox, т.е. template<> class Array<float> указываем в начале и больше template<> не используем, но почему?

все работает, спасибо
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
22.01.2013, 21:45     переопределение шаблонов
Еще ссылки по теме:

C++ Наследование шаблонов
C++ Создание шаблонов C++
Немного шаблонов C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
gray_fox
What a waste!
 Аватар для gray_fox
1244 / 1127 / 53
Регистрация: 21.04.2012
Сообщений: 2,350
Завершенные тесты: 3
22.01.2013, 21:45     переопределение шаблонов #8
Цитата Сообщение от yoghurt92 Посмотреть сообщение
больше template<> не используем, но почему?
template<> нужен для указания специализации, здесь же специализируется шаблон класса, а не его методы.
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
// шаблон класса
template<typename T>
class array {
 
   // метод
   void f();
 
   // шаблон метода
   template<typename U>
   void g();
};
 
// определение метода
template<typename T>
void array<T>::f() {}
 
// определение шаблона метода
template<typename T>
template<typename U>
void array<T>::g() {}
 
// специализация шаблона метода без специализации
// шаблона класса не разрешена
// template<typename T>
// template<>
// void array<T>::g<int>() {}
 
 
// специализация шаблона класса
template<>
class array<int> {
   
   // метод
   void f();
 
   // шаблон метода
   template<typename U>
   void g();
};
 
// определение метода
void array<int>::f() {}
 
// определение шаблона метода
template<typename U>
void array<int>::g() {} 
 
// специализация шаблона метода
template<>
void array<int>::g<int>() {}
Yandex
Объявления
22.01.2013, 21:45     переопределение шаблонов
Ответ Создать тему
Опции темы

Текущее время: 17:29. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru