3

Дан шаблон класса для хранения списка элементов типа T. Какие типы данных нельзя использовать в качестве T?

template <typename T> class List {
  private:
    struct element {
        T data;
        element *next;
    };
    element *head;
    ...
};
2
  • Инстанцирование или определение вы имеете в ввиду? Похоже что определение. Параметрами шаблонов могут быть параметры типы, параметры встроенные типы и параметры шаблонов. Предыдущий параметр может быть использован для определения последующих параметров.
    – igumnov
    Commented 18 нояб. 2012 в 14:45
  • 3
    void подойдёт?
    – VladD
    Commented 18 нояб. 2012 в 14:45

2 ответа 2

5

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

Благодаря уточнению @Котик_хочет_кушать добавляю, что это ограничение свойственно для С++2003. В С++11 можно с помощью initializer-clause .

14
  • @mikillskegg, а собственно, почему? В какой момент рухнет?
    – avp
    Commented 20 нояб. 2012 в 9:11
  • @avp Не скомпилится шаблон. Commented 20 нояб. 2012 в 9:23
  • Почему только в конструкторе? Структуру можно инициализировать при объявлении переменной через = { ... }
    – sercxjo
    Commented 20 нояб. 2012 в 9:29
  • @sercxjo Такой способ инициализации применим только для POD типов данных, а структура, содержащая нестатический член reference типа не является POD. Commented 20 нояб. 2012 в 9:36
  • 3
    @mikillskegg А как быть вот с этим? > §8.5.1/2: When an aggregate is initialized the initializer can contain an initializer-clause consisting of a brace-enclosed, comma-separated list of initializer-clauses for the members of the aggregate, written in increasing subscript or member order. If the aggregate contains subaggregates, this rule applies recursively to the members of the subaggregate. Commented 20 нояб. 2012 в 11:32
3

Какие типы данных нельзя использовать в качестве T

Здесь нельзя использовать абстрактные типы данных, например: интерфейсы. И void - естественно. Да и компилятор, скорее всего, сразу об этом скажет.

К чему этот вопрос? Вроде все очевидно.

8
  • void можно, у меня работает
    – sercxjo
    Commented 20 нояб. 2012 в 10:34
  • кроме того, параметром шаблона может, например, число. оно к примеру тоже не подходит.
    – VladD
    Commented 20 нояб. 2012 в 10:36
  • 2
    >void можно, у меня работает У Вас скомпилировался класс с членом void data; ? Оригинально! >параметром шаблона может, например, число. оно к примеру тоже не подходит. Число - конечно подойдет, но оно - не тип данных
    – mega
    Commented 20 нояб. 2012 в 10:38
  • 1
    Проверил с void на gcc 4.6.3: переменная List<void> вроде как объявляется, но конструктор не вызывается, т.е. он её оптимизирует и вырезает, но если я далее пытаюсь её использовать - тогда выдаёт ошибку компиляции
    – sercxjo
    Commented 20 нояб. 2012 в 11:25
  • 1
    Шаблоны - они такие :), компилируются по факту, т.е. в данном случае, сама специализация List<void> скомпилирована не была. А когда компилируется, соответственно, выдает красочную ошибку. В случае с int&, Вы тоже хитрите, т.к. не используете методы, которые бы вызывали конструктор по-умолчанию element, реакция на который была бы аналогична.
    – mega
    Commented 20 нояб. 2012 в 11:49

Ваш ответ

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

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