Вывод аргументов шаблона класса до C++ 17
Я читал документацию по стандартной библиотеке и обнаружил, что есть некоторые функции, такие как make_tuple. Насколько я понимаю, эти функции служат только одной цели: создавать экземпляр класса с использованием автоматического вывода аргументов шаблона. Поскольку CTAD не был доступен до C++ 17, приходилось вызывать связанные make-функции. Этот пробел был восполнен только в C++ 17. Теперь мне интересно, почему это не могло быть реализовано ранее «так же», как вывод аргументов шаблона функции? Думаю, должен быть пример, который приводит к двусмысленности, которую нельзя разрешить до C++ 17. Может кто-нибудь это подтвердить? В чем разница между функциями и классами в этом отношении? Спасибо!
Вывод аргументов шаблона класса для конструкторов.
Вы понимаете, как работает процесс стандартизации? От идеи до реализации рабочего проекта? (Это не имеет значения, потерпите меня)
Я думаю, это вполне разумный вопрос ... «Почему мы можем выводить аргументы шаблона функции, но не аргументы шаблона класса?» - Если есть очевидный ответ (помимо «так сказано в стандарте») или проблема, то было бы интересно узнать о ней.
@StoryTeller, я не уверен, если правда. Просто пытаюсь понять, есть ли какие-то трудности реализации, о которых я должен знать, или это часть длительного итеративного процесса стандартизации.
посмотрите на boost, многие вещи были реализованы там до того, как они вошли в стандарт C++, потому что это было возможно задолго до того, как эта функция была стандартизирована
Грубо говоря, для того, чтобы идея стала стандартом, кто-то должен ее придумать, написать предложение / документ, принять и применить экспертную оценку, а также представить и защитить свою функцию перед комитетом до того, как будет проведено голосование. на бумаге (и это может даже вернуть вас к изменению статьи и повторной презентации). Многим функциям требуется время loooooong, чтобы прорасти из-за этого, даже если кто-то подумал о них много лет назад.
Ответы 1
Как упоминалось в комментариях, стандартизация функции занимает много времени. Если вы хотите узнать об этом подробнее, вы можете проверить раздел Стандартизация из https://isocpp.org, особенно «Жизнь предложения ISO: от« крутой идеи »до« международного стандарта »».
Документ, который в конечном итоге сделал CTAD возможным в C++ 17, называется Интересные факты о шаблоне и впервые был опубликован 22 сентября 2012 года.
В него было внесено множество изменений, и 24.06.2016 был опубликован документ "Вывод аргументов шаблона для шаблонов классов", который является шестой редакцией документа.
Таким образом, CTAD потребовалось около пяти лет, чтобы перейти от «крутой идеи» до «международного стандарта».
Также, как отмечает @StoryTeller, сама идея существует гораздо дольше и представлена в статье Выведение аргументов для конструкторов, опубликованной в 2007 году.
Является ли CTAD значительно сложнее, чем FTAD, в некотором смысле (например, в разрешении имен)? Или были там в основном, например. проблемы совместимости для стандартизации?
Он даже старше 2012 года. Лакомые кусочки шаблона ссылаются на n2332, идея существует как минимум с 2007 года!
@StoryTeller: обновил ответ с учетом ваших данных.
Почему то, что раньше нельзя было реализовать таким же образом?