1

Хочу сделать специализацию метода для отдельного контейнера и ввожу такой код:

template<typename type, typename container>
struct A
{
    void say();
};

template<typename type, typename container>
void A<type, container>::say()
{
    std::cout << "Say for all" << std::endl;
}

template<typename type>
void A<type, std::vector<type>>::say()
{
    std::cout << "Say for vector" << std::endl;
}

Однако компилятор выдает ошибку:

invalid use of incomplete type 'struct A<type, std::vector >' void A<type, std::vector>::say()

2 ответа 2

2

Вы специализируете член, но не саму структуру. Вот он и не понимает — а где сама структура?

Вот такое вполне работает:

template<typename type, class container>
struct A
{
    void say() { std::cout << "Say for all" << std::endl;}
};

template<typename type>
struct A<type,vector<type>>
{
    void say()
    {
        std::cout << "Say for vector" << std::endl;
    }
};

int main(int argc, char * argv[])
{
    A<int,vector<int>> a;
    A<int,double> b;
    a.say();
    b.say();
}
6
  • А могу ли я как то обойтись без полной специализации класса и специализировать только метод?
    – Agaress
    28 окт 2021 в 6:23
  • Не думаю... Но на стандарт сослаться не сумею, тут пусть гуру в стандарте скажут.
    – Harry
    28 окт 2021 в 6:24
  • по моему так : template<typename type> struct A<type,vector<type>> ;
    – AlexGlebe
    28 окт 2021 в 6:25
  • @AlexGlebe Не понял, в чем разница? Можно полный пример, скажем, в ideone?
    – Harry
    28 окт 2021 в 6:30
  • 2
    О могу ли я как то обойтись без полной специализации класса и специализировать только метод? — вот такой аргумент в пользу категорического нет: специализация — не наследование! в специализации может не быть метода say вообще, или это будет не метод, а переменная etc etc. Поэтому без специализации класса фокус не удастся.
    – Harry
    28 окт 2021 в 8:44
1

Специализация одного члена шаблона класса не разрешается. Для этого надо специализировать весь класс. Однако в данном случае оно и не нужно, так как специализация будет полностью совпадать с основным классом, а все различие сводится к реализации функции say. В таком случае следует использовать if constexpr:

#include <type_traits>

template<typename type, typename container>
struct A
{
    void say(void)
    {
        char const * psz_message{};
        if constexpr (::std::is_same_v<container, ::std::vector<type>>)
        {
            psz_message = "Say for vector";
        }
        else
        {
            psz_message = "Say for all";
        }
        ::std::cout << psz_message << ::std::endl;
    }
};

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.