WedX - журнал о программировании и компьютерных науках

Является ли следующая инструкция перегрузкой функции или частичной специализацией функции?

template <typename Function> void for_each_element(
  const boost::tuples::null_type&, Function) {}

template <typename Tuple, typename Function> void     
  for_each_element(Tuple& t, Function func) {
    func(t.get_head());
    for_each_element(t.get_tail(),func);
}

Учитывая приведенный выше фрагмент кода, определяем ли мы функцию перегрузки или частично специализированную функцию?

Спасибо

19.05.2012

  • Ни одна из них не является функцией; они шаблоны. Так что это перегрузка шаблона, я полагаю. 19.05.2012
  • @Thomas: разрешение перегрузки учитывает создание экземпляров шаблона. Шаблоны функций предоставляют целое (неограниченное) семейство кандидатов на перегрузку. 19.05.2012
  • @thomas: обе функции. 19.05.2012
  • @Dani: Нет, оба являются функциональными шаблонами. 19.05.2012
  • Мой профессор был очень заинтересован в этом различии. Вы можете начать понимать шаблонное (мета) программирование только после того, как поймете, что шаблон — это шаблон, вещь, которую можно использовать для создания классов/функций, но она сильно отличается от своих продуктов. 19.05.2012
  • @Thomas Это различие кажется довольно педантичным. Я не уверен, какую ясность это вносит в дискуссию. 20.05.2012

Ответы:


1

Не существует такой вещи, как частичная специализация функции. Это перегрузка.

e.g.

template <typename T, typename U>
void foo(T t, U u);

template <typename T>
void foo<T, int>(T t, int u); // Illegal: no partial specialisation of functions

template <typename T>
void foo(T t, int u); // OK

Будьте осторожны, смешивая специализации с перегрузками, так как это не всегда работает так, как вы думаете.

19.05.2012
  • publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/ 19.05.2012
  • @SeçkinSavaşçı: Какой смысл публиковать случайную ссылку? У вас есть вопросы? 19.05.2012
  • Допускается частичная специализация struct и class, но не функций. 19.05.2012
  • это была не случайная ссылка, и, насколько я недавно проверял, это тоже не так. 19.05.2012

  • 2

    Перегрузка. Вы не можете частично специализировать функции, и даже если бы вы могли, у вас была бы вторая пара скобок <>.

    19.05.2012

    3

    Это перегрузка. Частичная специализация функций невозможна. Если вы попытаетесь частично специализировать функцию, компилятор будет жаловаться. В этом случае, когда вы достигаете конца кортежа, компилятор использует разрешение перегрузки, чтобы выбрать первую функцию.

    19.05.2012
  • Компилятор будет жаловаться — действительно бесполезный аргумент, и его можно использовать для чего угодно: если вы скажете class X / 2;, компилятор будет жаловаться. не является аргументом за или против чего-либо, но вы написали неправильный код. 19.05.2012
  • Я пытался указать, что это запрещено стандартом, поэтому даже если вы создадите что-то похожее на разумную частичную специализацию для функции, компилятор будет жаловаться. Может быть, я должен был быть более ясным. 19.05.2012
  • Просто лучше рассуждать чисто с точки зрения языка, так как упоминание любого данного компилятора ничего не добавляет. Люди часто говорят что-то вроде того, что я должен сделать, чтобы скомпилировать это, или почему компилятор жалуется на XYZ, или исправляет ошибки компиляции, но все это помимо простого вопроса, который является правильным способом сделать X. так часто бывает, меньше да лучше! :-) 19.05.2012
  • Новые материалы

    Объяснение документов 02: BERT
    BERT представил двухступенчатую структуру обучения: предварительное обучение и тонкая настройка. Во время предварительного обучения модель обучается на неразмеченных данных с помощью..

    Как проанализировать работу вашего классификатора?
    Не всегда просто знать, какие показатели использовать С развитием глубокого обучения все больше и больше людей учатся обучать свой первый классификатор. Но как только вы закончите..

    Работа с цепями Маркова, часть 4 (Машинное обучение)
    Нелинейные цепи Маркова с агрегатором и их приложения (arXiv) Автор : Бар Лайт Аннотация: Изучаются свойства подкласса случайных процессов, называемых дискретными нелинейными цепями Маркова..

    Crazy Laravel Livewire упростил мне создание электронной коммерции (панель администратора и API) [Часть 3]
    Как вы сегодня, ребята? В этой части мы создадим CRUD для данных о продукте. Думаю, в этой части я не буду слишком много делиться теорией, но чаще буду делиться своим кодом. Потому что..

    Использование машинного обучения и Python для классификации 1000 сезонов новичков MLB Hitter
    Чему может научиться машина, глядя на сезоны новичков 1000 игроков MLB? Это то, что исследует это приложение. В этом процессе мы будем использовать неконтролируемое обучение, чтобы..

    Учебные заметки: создание моего первого пакета Node.js
    Это мои обучающие заметки, когда я научился создавать свой самый первый пакет Node.js, распространяемый через npm. Оглавление Глоссарий I. Новый пакет 1.1 советы по инициализации..

    Забудьте о Matplotlib: улучшите визуализацию данных с помощью умопомрачительных функций Seaborn!
    Примечание. Эта запись в блоге предполагает базовое знакомство с Python и концепциями анализа данных. Привет, энтузиасты данных! Добро пожаловать в мой блог, где я расскажу о невероятных..


    Для любых предложений по сайту: [email protected]