Вопросы про шаблоны - C/C++

Здравствуйте, wander, Вы писали:

template <typename T, template<typename> class CONT = std::vector>
class Stack
{
};

Не взлетит. Потому что шаблон std::vector имеет не менее двух параметров (помимо хранимого типа присутствует аллокатор). Разрешены и дополнительные параметры, нужные реализации STL, при условии, что для них заданы значения по умолчанию.

Здравствуйте, wander, Вы писали:

А можно и так:

XJ>>

XJ>>template <typename T, class CONT = std::vector<T> >
XJ>>class Stack
XJ>>{
XJ>>private:
XJ>>    CONT elems;
XJ>>public:
XJ>>    void push(T const&);
XJ>>    void pop();
XJ>>    T top() const;
XJ>>};
XJ>>

W>)

Все эмоциональные формулировки не соотвествуют действительному положению вещей и приведены мной исключительно "ради красного словца". За корректными формулировками и неискажённым изложением идей, следует обращаться к их автором или воспользоваться поиском

Здравствуйте, quodum, Вы писали:

Q>Не взлетит. Потому что шаблон std::vector имеет не менее двух параметров (помимо хранимого типа присутствует аллокатор). Разрешены и дополнительные параметры, нужные реализации STL, при условии, что для них заданы значения по умолчанию.

Эти проблемы решаются:

template <typename T>
struct vector_with_the_only_template_parameter : std::vector<T> {};

template
< typename T
, template<typename> class CONT = vector_with_the_only_template_parameter
>
class Stack
{
private:
  CONT<T> elems;
public:
  void push(T const&);
  void pop();
  T top() const;
};

quodum:

Q>Не взлетит. Потому что шаблон std::vector имеет не менее двух параметров (помимо хранимого типа присутствует аллокатор). Разрешены и дополнительные параметры, нужные реализации STL, при условии, что для них заданы значения по умолчанию.

Где именно стандарт разрешает дополнительные параметры?

Привет всем!
Хочу разъяснить для себя некоторые вопросы. Когда пытаюсь сделать так:

template <typename T>
class Stack
{
private:
    std::vector<T> elems;
public:
    void push(T const&);
    void pop();
    T top() const;

    bool empty() const
    {
        return elems.empty();
    }
};

template <typename T, typename CONT = std::vector>
class Stack
{
private:
    CONT elems;
public:
    void push(T const&);
    void pop();
    T top() const;
};

в VS, то получаю ругань "error C2977: 'Stack' : too many template arguments", а если переименовываю второй класс в Stack2, то все ок.

1. Т. е. я правильно понимаю, что два таких шаблона класса нельзя создать?
2. Кстати, почему-то пока не пытаюсь создать объект, то не ругается на то, что vector без типа у меня задан, хотя должно быть по идее vector<T>... Это тоже нормально?

XJ>1. Т. е. я правильно понимаю, что два таких шаблона класса нельзя создать?

да

XJ>2. Кстати, почему-то пока не пытаюсь создать объект, то не ругается на то, что vector без типа у меня задан, хотя должно быть по идее vector<T>... Это тоже нормально?

особенности компилятора

Здравствуйте, XJess, Вы писали:

XJ>Привет всем!
XJ>

XJ>template <typename T, template<typename> class CONT = std::vector>
XJ>class Stack
XJ>{
XJ>private:
XJ>    CONT<T> elems;
XJ>public:
XJ>    void push(T const&);
XJ>    void pop();
XJ>    T top() const;
XJ>};
XJ>

Здравствуйте, Erop, Вы писали:

E>А можно и так:

template <typename T, class CONT = std::vector<T> >

А зачем? Чтобы, если нужен контейнер не по умолчанию, указывать аргумент для T два раза? Как можно извлечь пользу из того, что тип элементов контейнера не совпадает с типом аргумента функции push и с типом результата функции top?

Здравствуйте, igna, Вы писали:

I>А зачем? Чтобы, если нужен контейнер не по умолчанию, указывать аргумент для T два раза? Как можно извлечь пользу из того, что тип элементов контейнера не совпадает с типом аргумента функции push и с типом результата функции top?

Ну, от дизайна класса зависит как. Например, кто-то из них может быть ссылкой

Здравствуйте, Erop, Вы писали:

E>Ну, от дизайна класса зависит как. Например, кто-то из них может быть ссылкой

В приведенном примере вроде никто.

Здравствуйте, igna, Вы писали:

E>>Ну, от дизайна класса зависит как. Например, кто-то из них может быть ссылкой
I>В приведенном примере вроде никто.

Здравствуйте, XJess, Вы писали:

XJ>Привет всем!
XJ>Хочу разъяснить для себя некоторые вопросы. Когда пытаюсь сделать так:

интересно, с какого языка ты решила на Си перелезть?

XJ>в VS, то получаю ругань "error C2977: 'Stack' : too many template arguments", а если переименовываю второй класс в Stack2, то все ок.

XJ>1. Т. е. я правильно понимаю, что два таких шаблона класса нельзя создать?

да.

XJ>2. Кстати, почему-то пока не пытаюсь создать объект, то не ругается на то, что vector без типа у меня задан, хотя должно быть по идее vector<T>... Это тоже нормально?

нормально.

Здравствуйте, night beast, Вы писали:

NB>интересно, с какого языка ты решила на Си перелезть?
По постам очевидно, что с шарпа.

Здравствуйте, pvirk, Вы писали:

P>Здравствуйте, night beast, Вы писали:

NB>>интересно, с какого языка ты решила на Си перелезть?
P>По постам очевидно, что с шарпа.

Вы не поверите... но такая дура, как я, умудряется учить эти два языка одновременно...

Здравствуйте, XJess, Вы писали:

NB>>>интересно, с какого языка ты решила на Си перелезть?
P>>По постам очевидно, что с шарпа.

XJ>Вы не поверите... но такая дура, как я, умудряется учить эти два языка одновременно...

не верим

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

Здравствуйте, night beast, Вы писали:

XJ>>Вы не поверите... но такая дура, как я, умудряется учить эти два языка одновременно...

NB>не верим

у людей, которые начинают учить си без бэкграунда, таких вопросов обычно не возникает
NB>а зачем сразу оба? не боишься что как в пословице получится?

У меня выбора нет — на нынешней работе надо писать на обоих. К тому же, меня окружают маньяки, которые постоянно капают на мозги, чтобы я их оба учила.

Здравствуйте, XJess, Вы писали:

XJ>У меня выбора нет — на нынешней работе надо писать на обоих. К тому же, меня окружают маньяки, которые постоянно капают на мозги, чтобы я их оба учила.

Вероятно, имеют ввиду, что выучить их надо оба. Но учить можно и последовательно.

Здравствуйте, XJess, Вы писали:

XJ>Привет всем!
XJ>Хочу разъяснить для себя некоторые вопросы. Когда пытаюсь сделать так:

XJ>

XJ>template <typename T>
XJ>class Stack
XJ>{
XJ>private:
XJ>    std::vector<T> elems;
XJ>public:
XJ>    void push(T const&);
XJ>    void pop();
XJ>    T top() const;

XJ>    bool empty() const
XJ>    {
XJ>        return elems.empty();
XJ>    }
XJ>};

XJ>template <typename T, typename CONT = std::vector>
XJ>class Stack
XJ>{
XJ>private:
XJ>    CONT elems;
XJ>public:
XJ>    void push(T const&);
XJ>    void pop();
XJ>    T top() const;
XJ>};
XJ>

XJ>в VS, то получаю ругань "error C2977: 'Stack' : too many template arguments", а если переименовываю второй класс в Stack2, то все ок.

XJ>1. Т. е. я правильно понимаю, что два таких шаблона класса нельзя создать?
XJ>2. Кстати, почему-то пока не пытаюсь создать объект, то не ругается на то, что vector без типа у меня задан, хотя должно быть по идее vector<T>... Это тоже нормально?

1) Нельзя двум типам (классам) давать одно имя в общем пространстве имён.

2) Объявления классов, которые не используются в программе, компилятор игнорит.

Успехов! =)

	От:	quodum
	Дата:	10.11.10 06:19
	Оценка:	+2

	От:	Erop
	Дата:	09.11.10 16:44
	Оценка:	+1

	От:	igna
	Дата:	10.11.10 12:57
	Оценка:	+1

	От:	Masterkent
	Дата:	12.11.10 17:09
	Оценка:	+1

	От:	XJess
	Дата:	09.11.10 15:32
	Оценка: