Arhn - архитектура программирования

Вынуждает ли автоматическое определение типа возврата несколько функций иметь один и тот же тип возврата?

Рассмотрим приведенный ниже фрагмент:

struct A
{
  auto foo(), bar();
};

auto A::foo() { return 1; }
auto A::bar() { return 'a'; }

int main()
{

}

Он отлично компилируется в Clang ++ 3.7.0.

Это не работает в G ++ 5.2.0:

main.cpp: In member function 'auto A::bar()':
main.cpp:7:24: error: inconsistent deduction for 'auto': 'int' and then 'char'
auto A::bar() { return 'a'; }

Заставляет ли автоматическое определение типа возврата несколько функций, объявленных в одном операторе, иметь один и тот же тип возврата?

c++ return-type-deduction c++14 auto
29.10.2015

  • MSVS 2015 также будет компилироваться без предупреждений / ошибок. 29.10.2015
  • просто любопытно: кто-нибудь когда-либо регистрировал те ошибки компилятора, которые встречаются здесь, на SO? 29.10.2015
  • В вашем случае (goo.gl/i09xpE) Clang неявно приводит 'a' к 97. 29.10.2015
  • Я бы не хотел видеть такой код в базе кода. 29.10.2015
  • @РС. Я не очень слежу за тегами C / C ++, но я видел десятки случаев, когда сообщалось об ошибках (и во многих случаях исправление предоставлялось довольно быстро). 29.10.2015
  • Честно говоря, я даже не знаю, что C ++ поддерживает такой синтаксис для объявления функций. 30.10.2015

Ответы:


1

Исходя из следующего, GCC в этом случае ведет себя правильно, но только по совпадению (см. Ниже):

§7.1.6.4 [dcl.spec.auto] / 8

Если список-деклараторов-инициаторов содержит более одного-деклараторов-инициаторов, все они должны формировать объявления переменных.

Почему только по стечению обстоятельств? Сообщение об ошибке является подсказкой. Изменение функций для вывода одного и того же возвращаемого типа заставляет GCC компилировать код. Хотя здесь правильно выдавать ошибку, хотя и вводящую в заблуждение, это происходит только тогда, когда выведенный тип несовместим. Он всегда должен выдавать ошибку.

29.10.2015
  • Итак, узнали ли мы, что фрагмент имеет неправильный формат и что clang и gcc верны? Или лязг неправильный прием кода? 29.10.2015
  • Подразумевает ли эта цитата, что оператор auto foo(), bar(); имеет неправильный формат, потому что он пытается объявить функции, а не переменные? 29.10.2015
  • Крис, ваш ответ звучит так, как будто GCC был прав, отклонив код на основании использования нескольких объявлений функций в одном операторе. это разрешено, меня больше интересует, auto приводит ли к двусмысленности 29.10.2015
  • @Ruslan, это моя интерпретация. Если кто-то знает лучше меня, я был бы рад это услышать. 29.10.2015
  • @MarcAndreson, да, это точное описание моего ответа. Я хотел бы получить более сильное основание, чем моя цитата, почему допустимо объявлять несколько функций таким образом, если вы собираетесь утверждать, что это действительно допустимо (это разрешено). 29.10.2015
  • @chris Итак, вопрос в том, применяется ли §7.1.6.4 [dcl.spec.auto] / 8 только тогда, когда используется заполнитель auto? 30.10.2015
  • @MarcAndreson, Да, раздел конкретно про спецификатор auto. 30.10.2015
  • @chris Я думаю, вам следует переформулировать свой ответ, т.е. сделать акцент на том, что это недействительное объявление и, на самом деле, все компиляторы ошибаются 30.10.2015
  • @MarcAndreson, Готово :) 30.10.2015

    • 2

    да.

    auto не означает «любой тип», это означает определенный тип, который компилятор должен вывести.

    Это не относится к объявлениям функций, auto i = 1, f = 4.7; тоже не работает.

    Кроме того, объявление нескольких функций в одном операторе в любом случае не кажется хорошей идеей.

    29.10.2015
  • Можете ли вы предоставить стандартный справочник? Я знаю, что в случае переменных любая двусмысленность в выводе типа не выполняется, но это немного отличается, и мне хотелось бы иметь ясность, поскольку два компилятора имеют разные взгляды на этот предмет. 29.10.2015
    • Новые материалы
    Коллекции публикаций по глубокому обучению
    Последние пару месяцев я создавал коллекции последних академических публикаций по различным подполям глубокого обучения в моем блоге https://amundtveit.com - эта публикация дает обзор 25..
    Представляем: Pepita
    Фреймворк JavaScript с открытым исходным кодом Я знаю, что недостатка в фреймворках JavaScript нет. Но я просто не мог остановиться. Я хотел написать что-то сам, со своими собственными..
    Советы по коду Laravel #2
    1-) Найти // You can specify the columns you need // in when you use the find method on a model User::find(‘id’, [‘email’,’name’]); // You can increment or decrement // a field in..
    Работа с временными рядами спутниковых изображений, часть 3 (аналитика данных)
    Анализ временных рядов спутниковых изображений для данных наблюдений за большой Землей (arXiv) Автор: Рольф Симоэс , Жильберто Камара , Жильберто Кейрос , Фелипе Соуза , Педро Р. Андраде ,..
    3 способа решить квадратное уравнение (3-й мой любимый) -
    1. Методом факторизации — 2. Используя квадратичную формулу — 3. Заполнив квадрат — Давайте поймем это, решив это простое уравнение: Мы пытаемся сделать LHS,..
    Создание VR-миров с A-Frame
    Виртуальная реальность (и дополненная реальность) стали главными модными терминами в образовательных технологиях. С недорогими VR-гарнитурами, такими как Google Cardboard , и использованием..
    Демистификация рекурсии
    КОДЕКС Демистификация рекурсии Упрощенная концепция ошеломляющей О чем весь этот шум? Рекурсия, кажется, единственная тема, от которой у каждого начинающего студента-информатика..