Почему вывод аргументов не осуществляется для классового шаблона?

@TheChosenOne · Регистрация: 13.09.2013

Студворк — интернет-сервис помощи студентам

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

Вот что говорит по этому поводу Страуструп. А мне хоть учебник на эту тему дай, без примера не могу обойтись... Товарищи знатоки, напишите пожалуйста код (желательно с комментариями ),где будет явно видно почему компилятор не может вывести параметр шаблона по аргументу конструктора.

Возьмем,например, вот такой класс:

C++
1
2
3
4
5
6
7
8
9
10
11
template < class C >
class A
{
  C a;
public:
       A(C a_):a(a_){}
       A(char ch)
      {
           a = ch;
      }
 };

@MayaNash · 23.06.2014, 19:35

TheChosenOne, у тебя ошибка в коде. a у нас типа С. Тип С - параметр шаблона. Допустим, что у нас есть какой-то класс D. И вот мы создаем A<D> theObject('a'). Но у класса D нет конструктора, принимающего char, поэтому нельзя писать a = ch. Это раз.
Во-вторых, вроде как можно, хоть и нафиг не надо. https://www.cyberforum.ru/cpp/... post614069 Т.е. насколько я понимаю, можно написать typeid(*this).name().

Добавлено через 3 минуты
И после первого, правильно написанного конструктора, точки с запятой нет))

Добавлено через 4 минуты
Да, вот этот код работает:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include <iostream>
using std::cout;
using std::endl;
 
class D
{
};
 
template < class C >
class A
{
    C a;
public:
    A(C a_): a(a_) { cout << typeid(a).name() << endl; };
 };
 
void main()
{
    D d;
    A<D> obj(d);
    system("pause");
}

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

@TheChosenOne · 23.06.2014, 22:05 **[ТС]**

Сообщение от Керра

TheChosenOne, у тебя ошибка в коде. a у нас типа С. Тип С - параметр шаблона. Допустим, что у нас есть какой-то класс D. И вот мы создаем A<D> theObject('a'). Но у класса D нет конструктора, принимающего char, поэтому нельзя писать a = ch. Это раз.

Это понятно,предположим мы работаем со стандартными типами,для которые есть неявные преобразования.

Сообщение от Керра

И после первого, правильно написанного конструктора, точки с запятой нет))

??

Сообщение от Керра

A<D> obj(d);

Тут используется явный параметр шаблона. Меня интересует почему компилятор не может вычислить его по аргументам конструктора... Т.е. мне не нужно узнавать тип,меня интересует почему в шаблонных функциях он это может сделать(вычислить параметр шаблона по аргументу),а в случае с шаблонным классом - нет.

Tulosba · 23.06.2014, 22:24

Сообщение от TheChosenOne

Вот что говорит по этому поводу Страуструп.

Ссылочку бы на литературу для уточнения контекста. Издание, номер страницы.

@TheChosenOne · 23.06.2014, 22:29 **[ТС]**

Tulosba, без проблем

Б.Страуструп - Язык программирования С++. Специальное издание. 13.3.1 (стр 410) Издатель - Бином (на всякий случай )

Tulosba · 23.06.2014, 23:32

Нашел пару тем на этот счет на SOF:
раз, два.

@TheChosenOne · 24.06.2014, 00:02 **[ТС]**

Тут тоже все на Страуструпа ссылаются... Видимо надо принять как данность,как часть стандарта.. )

@gray_fox · 24.06.2014, 00:07

TheChosenOne, судя по одному ответу на sof: толку от такой фичи мало, т.к. всегда можно легко написать make_smth, а ещё больше неоднозначностей в язык она бы определённо привнесла.

@TheChosenOne · 24.06.2014, 00:11 **[ТС]**

gray_fox, Ну,на самом деле с шаблонными функциями тоже возникают неоднозначности,в таких случаях можно указать явно параметр шаблона.Запретили бы что ли уже везде такую фичу. А то получается дискриминация классов

И в make_pair тоже могут возникнуть неоднозначности если в классе Pair несколько конструкторов...

@gray_fox · 24.06.2014, 00:16

TheChosenOne, так то да, но если бы ввели подобное для классов, проблем с несколькокилобайтными логами ошибок инстанциирования было бы ещё больше; а ежели хочешь вывод типов, то можно и обёртку написать. Хоть я с этим и не согласен. Возможно там ещё есть парочка связанных с этим подводных камней, но я что-то пока не вижу...

@TheChosenOne · 24.06.2014, 00:23 **[ТС]**

gray_fox, Для каждого шаблонного класса писать обертку - это дело неблагодарное,уж легче явно указать

@gray_fox · 24.06.2014, 00:30

TheChosenOne, если так напрягает, то можно где-нибудь в офф. группе обсуждения языка поспрашивать (или даже proposal оформить

).

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

@TheChosenOne 13 / 13 / 2 Регистрация: 13.09.2013 Сообщений: 113
	23.06.2014, 22:29 [ТС]
	Tulosba, без проблем Б.Страуструп - Язык программирования С++. Специальное издание. 13.3.1 (стр 410) Издатель - Бином (на всякий случай ) 0

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	23.06.2014, 23:32
	Нашел пару тем на этот счет на SOF: раз, два. 2

@TheChosenOne 13 / 13 / 2 Регистрация: 13.09.2013 Сообщений: 113
	24.06.2014, 00:02 [ТС]
	Тут тоже все на Страуструпа ссылаются... Видимо надо принять как данность,как часть стандарта.. ) 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	24.06.2014, 00:07
	TheChosenOne, судя по одному ответу на sof: толку от такой фичи мало, т.к. всегда можно легко написать make_smth, а ещё больше неоднозначностей в язык она бы определённо привнесла. 0

@TheChosenOne 13 / 13 / 2 Регистрация: 13.09.2013 Сообщений: 113
	24.06.2014, 00:11 [ТС]
	gray_fox, Ну,на самом деле с шаблонными функциями тоже возникают неоднозначности,в таких случаях можно указать явно параметр шаблона.Запретили бы что ли уже везде такую фичу. А то получается дискриминация классов И в make_pair тоже могут возникнуть неоднозначности если в классе Pair несколько конструкторов... 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	24.06.2014, 00:16
	TheChosenOne, так то да, но если бы ввели подобное для классов, проблем с несколькокилобайтными логами ошибок инстанциирования было бы ещё больше; а ежели хочешь вывод типов, то можно и обёртку написать. Хоть я с этим и не согласен. Возможно там ещё есть парочка связанных с этим подводных камней, но я что-то пока не вижу... 0

@TheChosenOne 13 / 13 / 2 Регистрация: 13.09.2013 Сообщений: 113
	24.06.2014, 00:23 [ТС]
	gray_fox, Для каждого шаблонного класса писать обертку - это дело неблагодарное,уж легче явно указать 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	24.06.2014, 00:30
	TheChosenOne, если так напрягает, то можно где-нибудь в офф. группе обсуждения языка поспрашивать (или даже proposal оформить ). 0