auto в C++: развитие или деградация?

@Avazart · Регистрация: 10.12.2010

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

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

Важно то, что c++ хоть как-то подтягивается к развитым языкам.

А в чем развитие то? Я вижу только деградацию... вводить такую фигню только ради сокращения записи т.е синтактического сахара?

Комментарий модератора

Данная тема вынесена из отсюда.
Стартовый пост является ответом на это сообщение.

@hoggy · 30.08.2015, 04:23

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

Я не понимаю что подразумевается под "изнасилованием"
У c++ слабая статическая типизация.

я не вел речь о том, сильная она, или слабая.
я вел речь о том, что она - статическая.

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

-----------------------------------------------

по поводу сильной/слабой - язык поддерживает оби возможности.
можно запрещать неявное приведение.
можно не запрещать.

даже более того, с++ поддерживает динамическую типизацию:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// arg - универсальный тип данных
// способен принимать значения любых типов
// и выдавать их обратно наружу
// при этом выполняется рантайм проверка корректности приведения типов
// и их квалификаторов
 
void foo( arg a )
{
    std::cout << a <<std::endl;
 
    if(a.is<int>())
    {
        int v = a; 
        std::cout << v << std::endl;
    }
}
 
int main()
{
    foo(10);
    foo("hello world");
}

и тд, и тп.

где то на хабре есть статья, в которой автор приводит примеры,
иллюстрирующие, что мультипарадигменный с++
умеет все эти различные "классификации" типизаций.

а достигается это благодаря мощнейшей системе типов,
которая позволяет как угодно манипулировать ими в статике
(метапрограммирование)

именно эту систему типов я и называю "системой изнасилования типов".

Добавлено через 1 минуту

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

SML например.

впервые про такой вообще слышу.

сейчас гляну, что за фрукт...

Добавлено через 26 минут
глянул:
не мэйнстрим.
к тому же функциональная хрень.

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

@castorsky · 30.08.2015, 12:13

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

глянул:
не мэйнстрим.
к тому же функциональная хрень.

Ну как и ожидалось. Полторы безграмотных калеки рассуждают на темы концепций ЯП. Наследники: haskell, ocaml, F# (я ожидал что Вы не знаете). Системы типов те же.

Не по теме:

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

Ну так есть вывод или нет?

Вы же плюсист. Почему Вы меня об этом спрашиваете? Это я Вас должен спршивать.

Кликните здесь для просмотра всего текста

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

размыления на тему "хороших языков" мне было не интересно совсем

Именно поэтому Вы решили спросить о востребованности. Я понял флейм ради флейма. Что это:

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

Лично я предпочитаю явно выражать свои намерения в коде, а не мучать читающего загадками.
Т.е. понятно что auto можно использовать умеренно и с умом, но ведь легче то пихать везде и подряд...
Именно по этому я бы не сказал что это великое дoстижение.

?
Это хоть как-то можно натянуть на "аргумент от специалиста"? Это больше похоже на лулзы от Дурнева.

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

Не нравится С++ не чего вообще в этом разделе торчать...

Ok, прежде чем постить тут буду спрашивать у Вас разрешение. Я довольно продуктивно (надеюсь) пообщался с ТС.

@Avazart · 30.08.2015, 12:23 **[ТС]**

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

Вы же плюсист. Почему Вы меня об этом спрашиваете? Это я Вас должен спршивать.

По тому что вы путаетесь "в показаниях"...
И уже не понято вы говорите от "выводе" какой на данный момент существует в языке С++ (а конкретно про auto), или о каком-то другом с созвездия Андромеда.

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

Это хоть как-то можно натянуть на "аргумент от специалиста"? Это больше похоже на лулзы от Дурнева.

Это личное мнение... И думал что так очевидно что "сахар" вряд ли можно считать велиуим достижением.
Аргументов что это не только "сахар" лично от вас я вообще не услышал.
Только витание в облаках и филосовствования на тему быть или не быть.

Не по теме:

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

Ok, прежде чем постить тут буду спрашивать у Вас разрешение.

Было бы не плохо ... :D

@castorsky · 30.08.2015, 12:29

Не по теме:

Я не виноват что мне попался тупой "следователь". Объективно тупой. Реально. Это даже не сойдет за оскорбление, это факт. Вот Вы плюсист. Скажите мне есть в плюсах вывод типов или нет. Это язык с которым Вы работаете ежедневно и обязаны его знать.

Не по теме:

Хотя бы его, как минимум.

Добавлено через 2 минуты

Не по теме:

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

Это личное мнение...

В следующий раз предваряйте термином IMHO, чтобы люди понимали что это комментировать не стоит.

Добавлено через 38 секунд

Не по теме:

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

И я вроде ясно выразился и думал что так очевидно что "сахар" вряд ли можно считать достижением.

Это не только сахар. Сахар это уже побочное явление.

@Avazart · 30.08.2015, 12:39 **[ТС]**

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

В следующий раз предваряйте термином IMHO, чтобы люди понимали что это комментировать не стоит.

А вы читать по русски не умеете? Или потребность в абривиатурах?

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

Лично я предпочитаю явно выражать свои намерения в коде,

Добавлено через 1 минуту

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

Я не виноват что мне попался тупой следователь. Объективно тупой. Реально. Это даже не сойдет за оскорбление, это факт.

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

@hoggy · 30.08.2015, 13:09

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

Ну как и ожидалось. Полторы безграмотных калеки рассуждают на темы концепций ЯП. Наследники: haskell, ocaml, F# (я ожидал что Вы не знаете).

не понятна эта фраза.
и кто тут рассуждает на темы концепций ЯП?

если только вы имели ввиду:
полторы господина castorsky.
---------------------------------------------------------------

что касается системы типов:

с++ оопнутый, к тому же императивный (по большей части).

здесь манипуляция с типами особенно критична в контексте классов.
а это означает:
возможность влиять на иерархию классов.

а это означает:
вывод типов времени компиляции, и в зависимости от,
дальнейшее построение иерархии.

при этом, с++ умеет метапрограммирование как в функциональном,
так и в императивных стилях.

примечательно, что его дальнейшее развитие пошло по императивному пути
(constexpr)

@hoggy · 30.08.2015, 13:45

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

Каким боком тут auto?

никаким.

auto - действительно лишь сахар.
но это полезный сахар:
позволяет писать код в утиной нотации,

когда фактический тип не имеет значения ни для логики выполнения,
ни для чтения самого кода.

@Avazart · 30.08.2015, 14:34 **[ТС]**

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

позволяет писать код в утиной нотации,

Вы имеете ввиду чисто "внешне" ?
Типа то выводятся все равно во время компиляции, а не исполнения.

Добавлено через 34 минуты

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

и его итераторы.

Ну если мы делаем ++i то вероятно должны знать что за тип i, по крайней мере желательно знать.

@hoggy · 30.08.2015, 14:51

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

Ну если мы делаем ++i то вероятно должны знать что за тип i, по крайней мере желательно знать.

зачем?
достаточно понимать:
чем бы оно ни было, но оно умеет инкремент.

а для того, что бы это понять, знать тип не обязательно.

@Avazart · 30.08.2015, 15:05 **[ТС]**

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

чем бы оно ни было, но оно умеет инкремент.

Да но "оно" зависит от контейнера, для того что бы узнать
(например нам не удалось сменить вектор на список ибо он не поддерживает концепцию, но мы пока этого не знаем)
нужно открывать контейнер - смотреть что за итератор он использует и только потом окрывать класс итератора что бы убидится что в нем есть инкремент...

Т.е когда возникают "проблемы" то неплохобы видеть что за типы используются.

К примеру:

C++
1
auto a=  widget->children(1)->items(2)->someYet()->...

Вот пойми сразу что такое a.
Тут явное усложнение "навигации" по коду.

Понятно что это конечно вопрос вменяемого использования...

@hoggy · 30.08.2015, 15:36

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

Да но "оно" зависит от контейнера, для того что бы узнать
(например нам не удалось сменить вектор на список ибо он не поддерживает концепцию, но мы пока этого не знаем)
нужно открывать контейнер - смотреть что за итератор он использует и только потом окрывать класс итератора что бы убидится что в нем есть инкремент...

как то у вас все слишком сложно.

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

смотреть "что там за контейнер" нужно лишь в случае проблем.

но в случае проблем, смотреть придется в любом случае,
что с auto, что без него.

единственное:
с auto меньше нужно писать/переписывать буковок.

@Avazart · 30.08.2015, 15:40 **[ТС]**

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

я запускаю компиляцию,

Вероятно смотреть и сразу видеть ошибку, и видить ее после перекомпиляции(возможно долгой) не одно и тоже.

@hoggy · 30.08.2015, 15:41

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

К примеру:
auto a= *widget->children(1)->items(2)->someYet()->...
Вот пойми сразу что такое a.

а если так:

C++
1
2
3
auto& rootWindow = *widget->children(1)->items(2)->someYet()->... 
 
rootWindow.doModal();

я к тому, что в представленной цепочке
не понятным стороннему глазу остается исключительно 'a'

потому что нечитабельное имя.

а вот вся остальная цепочка - обратите внимание: используется вывод типов.
но все понятно:

некий виджет.
берем у него 1 ребенка.
у ребенка берет 2 предмет.
что то делаем с этим предметом....

при этом я понятия не имею, какова природа представленных типов.
но для понимания логики происходящего мне это и не нужно.

Добавлено через 1 минуту

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

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

смотреть и сразу видеть - это такой тест на внимательность?

вместо того, что бы просто прочитать выхлоп компилятора на английском.

@Avazart · 30.08.2015, 15:46 **[ТС]**

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

некий виджет.
берем у него 1 ребенка.
у ребенка берет 2 предмет.
что то делаем с этим предметом....

Мы не знаем типы, мы с ним не знакомы, нам нужно перелапатить все по цепочки что бы узнать что там за тип и только тогда мы сможем узнать что у него есть мето doModal()

Добавлено через 1 минуту

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

потому что нечитабельное имя.

Ну дело не в этом, там может быть к примеру имя dialog, а класс ModalDialog или AbstractDialog

@hoggy · 30.08.2015, 15:46

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

Мы не знаем типы, мы с ним не знакомы, нам нужно перелапатить все по цепочки что бы узнать что там за тип и только тогда мы сможем узнать что у него есть мето doModal()

зачем?

вот код:

C++
1
rootWindow.doModal();

вам не нужно знать, что это за тип, что бы знать,
что у него есть doModal.

он просто есть.
точно так же как есть вся эта цепочка.

потому что такова запись в исходном коде.

@Avazart · 30.08.2015, 15:48 **[ТС]**

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

зачем?

Ну как зачем? Мы ведь читаем код и допустим еще хотим что либо изменить в уже существующем коде который писали не мы.
К примеру задача сменить show() на showModal() ? Для этого нужно знать что там за класс.

@hoggy · 30.08.2015, 15:50

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

Ну дело не в этом, там может быть к примеру имя dialog, а класс ModalDialog или AbstractDialog

нет, дело именно в этом.

читабельные имена позволяют нам понимать логику проиходящего.
а вовсе не их фактические типы.

если мы видим:

C++
1
2
auto dialogNewGame = ...
dialogNewGame .doModal();

то нам уже не принципиально, какой именно у него тип.
мы просто знаем - вот сейчас будет диалог с пользователем "новая игра".

Добавлено через 1 минуту

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

Ну как зачем? Мы ведь читаем код и допустим еще хотим что либо изменить в уже существующем коде который писали не мы.

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

@ASCII · 30.08.2015, 15:50

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

Во первых главное слово почти, во вторых зачем дублировать то что у нас уже есть - шаблоны? В чем достижение то?
Может быт и красивее выглядит, но толку то?

Толку нет от Вашего спора. Вне зависимости от того, какого Вы мнения об auto в С++11, Вы ничего изменить не сможите.

@Avazart · 30.08.2015, 15:57 **[ТС]**

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

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

Ну вот вопрос затрат времени на это...
Разбирать всю цепочку или смотреть сразу код AbstaсtDialog.
Ну ли к примеру посмотреть итератор вектора и сравнивать его с итератором однонаправленного списка что бы понять что нельзя подставлять список в ф-цию из-за того что итератор неподдерживает декримент.

Добавлено через 3 минуты

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

Толку нет от Вашего спора. Вне зависимости от того, какого Вы мнения об auto в С++11, Вы ничего изменить не сможите.

Но все же понять когда стоит использовать,а когда нет- можно.

@hoggy · 30.08.2015, 16:03

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

Разбирать всю цепочку или смотреть сразу код AbstaсtDialog.

разбирать всю цепочку не понадобится.

смотрите:

C++
1
2
3
4
auto& item = *widget->children(1)->items(2);
 
// ошибка: в классе Item нет функции члена getName
std::cout<<"item = "<< item.getName()<<'\n';

идем сразу в класс Item, и смотрим, что там с ним.
рассматривать всю цепочку для этого не обязательно.

и это действие "смотреть Item" вы будете выполнять в любом случае,
так или иначе, если будет подобная ошибка.

Добавлено через 3 минуты

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

Ну ли к примеру посмотреть итератор вектора и сравнивать его с итератором однонаправленного списка что бы понять что нельзя подставлять список в ф-цию из-за того что итератор неподдерживает декримент.

зачем так сложно?

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

компилятор напишет вам это английским текстом.

диагностируются подобные ошибки точно так же, что с auto, что без него.

Новые блоги и статьи Все статьи Все блоги /
Модель по догадкам anaschu 25.08.2026 Прошло две недели. Я уже рассказывал, как разговаривал с сотрудниками у сортировки и как понял, что главная ветка — не про приёмку, а про отбор. Но тогда я думал, что понял механику. На этой неделе я. . .	Запись в регистр сведений независимо от заполненности табличной части Maks 25.08.2026 Реализация из решения ниже выполнена на нетиповом документе с несколькими табличными частями, разработанного в КА2. Задача: Обеспечить запись документа в регистр сведений независимо от. . .	Ноутбук Альфария kumehtar 24.08.2026 Встретился тут в сети ноутбук Альфария, примарха Альфа-Легиона. Хотя возможно, это ноутбук Омегона, разумеется. Ну как вам?	Мастера простых решений DevAlt 23.08.2026 В сишарп стэках winforms, да и wpf существует сложная система связывания источниках данных и элементов формы(текстовые поля и метки), опирается все это на технологию событий и мета. . .
Цена ошибки DevAlt 23.08.2026 Человек я беспокойный и потому заинтересовался OCaml, в чате форсили функторы модулей как суперфичу. Пытаясь отдуплить концепт, наткнулся на тутор с простым примером. А главный принцип обучения от. . .	Сегодня суббота, 22.08.2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. zorxor 22.08.2026 Сегодня суббота, 22. 08. 2026 at 16:41, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .	Жизня: рисунок укладки багажа, сделанный клодом anaschu 21.08.2026 Сделал 15 снимков, он по снимкам сделал схему.	Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.2026 Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .