Аргумент по умолчанию для параметра шаблона для включения класса

код:

template <typename element_type, typename container_type = std::deque<element_type> >
class stack
{
    public:
        stack() {}
        template <typename CT>
        stack(CT temp) : container(temp.begin(), temp.end()) {}
        bool empty();
   private:
       container_type container;
};

template <typename element_type, typename container_type = std::deque<element_type> >
bool stack<element_type, container_type>::empty()
{
    return container.empty();
}

При компиляции он дает ошибку.

аргумент по умолчанию для параметра шаблона для класса, охватывающего 'bool stack<element_type,container_type>::empty()'

Почему компилятор жалуется и как я могу заставить его работать?

Ответы

Ответ 1

Вы пытаетесь предоставить аргумент по умолчанию для второго параметра шаблона stack дважды. Аргументы шаблона по умолчанию, как и аргументы функции по умолчанию, могут быть определены только один раз (на единицу перевода); даже не повторяется то же самое определение.

Просто введите аргумент по умолчанию в начале, где вы определяете шаблон класса. После этого оставьте это:

template<typename element_type,typename container_type>
bool stack<element_type,container_type>::empty(){
    return container.empty();
}

Ответ 2

Этот параметр по умолчанию по синтаксису является параметром по умолчанию для класса и имеет смысл только в объявлении класса.

Если вы вызовете эту функцию...

stack<foo,bar>().empty();

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

Вы можете решить проблему, просто удалив параметр по умолчанию из определения функции:

template<typename element_type,typename container_type>
bool stack<element_type,container_type>::empty(){
    return container.empty();
}