![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Морские рассказы
C++ подобен морю.
В STL есть класс pair:
В STL есть класс pair:
#include <utility>
#include <iostream>
using namespace std;
int main()
{
pair<int, float> p;
p.first = 3;
p.second = 4.5;
cout << p.first << "," << p.second << endl;
}теперь попробуем у него унаследовать.#include <utility>
#include <iostream>
using namespace std;
template<typename T> class range : public std::pair<T,T> {
public:
range(T v) : std::pair<T,T>(v,v) {}
bool in(T v) { return first <= v && v <= second; }
};Компилируется? Нет, не компилируется в gcc 4.x, а как компилируется? Вот так:#include <utility>
#include <iostream>
using namespace std;
template<typename T> class range : public std::pair<T,T> {
public:
range(T v) : std::pair<T,T>(v,v) {}
bool in(T v) { return std::pair<T,T>::first <= v &&
v <= std::pair<T,T>::second; }
};
Мне это кажется весьма примечательным
no subject
no subject
Студиозиусы Вагнер и Кох.
и в чем шутка?
first и second это не просто свойства,
а параметризированные параметры шаблона
имеют тип в зависимости от того с какими типами шаблон инстанциируется
кроме того, разрешены ведь и обычные first и second
например если вы таковые решите добавить в ваш шаблон, например вот так
template class range : public std::pair
first и second это не просто свойства,
а параметризированные параметры шаблона
имеют тип в зависимости от того с какими типами шаблон инстанциируется
кроме того, разрешены ведь и обычные first и second
например если вы таковые решите добавить в ваш шаблон, например вот так
template<typename T> class range : public std::pair<T,T> {
int first;
int second;
public:
...
Re: и в чем шутка?
Re: и в чем шутка?
С++ у нас ведь сильно типизированный, не так ли?
и ничуть не затеняю, какраз в виду использования полного квалификатора (другое дело, поймет ли это компилятор).
Re: и в чем шутка?
Известен, разумеется, это тип T.
Re: и в чем шутка?
template <> class pair<Foo,Foo> {}</pre> без полей first и second и тогда компиляция range<Foo> повиснет в воздухе.
Re: и в чем шутка?
no subject
#include
#include
using namespace std;
template class range : public std::pair
<code>
#include <utility>
#include <iostream>
using namespace std;
template<typename T> class range : public std::pair<T,T> {
public:
range(T v) : std::pair<T,T>(v,v) {}
bool in(T v) { return first <= v && v <= second; }
};
int main()
{
range<int> A(5);
std::cout << A.first<< std::endl;
A.second = 100;
if ( A.in(10))
{
std::cout << A.second<< std::endl;
}
return 0;}
</code>
~/cpp > CC p.cxx
~/cpp > ./a.out
5
100
no subject
Раз он в море закинул невод...
Как уже отметили некоторые постеры, многие компалеры по доброте душевной ослабляют это требование и находят имя, даже если оно в базовом классе. Но по Стандарту требуется fully qualified имя. Пример из 14.6.2/3:
typedef double A; template<class T> class B { typedef int A; }; template<class T> struct X : B<T> { A a; // a has type double };Re: Раз он в море закинул невод...
Re: Раз он в море закинул невод...
Письменный и Устный стандарт C++.
Re: Письменный и Устный стандарт C++.
И тут по округе пролетела весть о том что к старой тёте Малке из бухгалтерии приезжает сын из столицы, кандидат компьютерных наук. С женой и дочкой. Попроведовать, отдохнуть...
Женился или срезал?
Re: Женился или срезал?
no subject
no subject