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

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

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

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

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

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

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

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

@castorsky · 29.08.2015, 22:40

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

Ну выходит что нет?

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

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

Не по теме:

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

Это ведь С++14 ?

А тем временем первая половина 2015 года пройдена. Всё ясно. Я вспомнил Вас.

@Avazart · 29.08.2015, 22:42 **[ТС]**

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

строгость типизации

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

@castorsky · 29.08.2015, 22:46

Avazart, Я правильно понимаю что Вы утверждаете что система типов c++ строгая статическая?

@Avazart · 29.08.2015, 22:51 **[ТС]**

Не по теме:

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

Avazart, Я правильно понимаю что Вы утверждаете что система типов c++ строгая статическая?

Ну вот а сами призывали не флудить...

@ct0r · 29.08.2015, 22:53

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

Только как я понимаю "шаблонные" лямбды не везде еще реализованы? Это ведь С++14 ?

Ну наверное не везде. В clang и gcc реализованы. Да, это С++14. Но это не имеет значения, ведь изменения в стандарт вносятся исходя из долгосрочной перспективы, плюс С++14 - это скорее доработка С++11, нежели что-то кардинально новое. Что же касается записи в переменную, то auto позволяет нормально это сделать для типов, которые известны только компилятору. Например, хранение лямбда-функции в std::function медленнее и тяжелее.

@castorsky · 29.08.2015, 22:54

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

@Avazart · 29.08.2015, 22:59 **[ТС]**

Рукалицо. Cardeli L, Wegner P.
Parametric polymorphism is obtained when a function works uniformly on a range of types: these types
normally exhibit some common structure. Ad-hoc polymorphism is obtained when a function works, or
appears to work, on several different types (which may not exhibit a common structure) and may behave in
unrelated ways for each type.

Ну так я не все равно не понимаю на что вы намекаете?
Что Ad-hoc polymorphism это перегрузка ф-ций, т.е по сути к этому и относятся шаблоны.
Хотя опять же это как посмотреть, ибо вероятно и к параметрическому виду можно отнести.
Но не думаю что стоит вообще притягивать за уши.

@castorsky · 29.08.2015, 23:08

Не по теме:

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

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

А если посмотреть со стороны астрологии, то это знак судьбы и никакой не полиморфизм.

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

Но не думаю что стоит вообще притягивать за уши.

Сами тянете. Никак не успокоитесь. Жду ответа на вопрос.

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

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

Ну так я не все равно не понимаю на что вы намекаете?

Я ни на что не намекаю. Если Вы не видите разницы между одним и другим, то это не мои проблемы. Я всё сказал Вам достаточно ясно и открыто. Шаблоны это не ПП. Фишка ПП в другом, эта фишка клевая и ее нет в крестах. С введением auto возможно появится и от этого выиграет сообщество.

@Avazart · 29.08.2015, 23:17 **[ТС]**

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

gcc реализованы. Да, это С++14.

Чет у меня не хочет.

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

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

Сами тянете. Никак не успокоитесь. Жду ответа на вопрос.

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

@castorsky · 29.08.2015, 23:20

Тогда объясните мне это. С учетом того что вывод типов неизбежно ведет к строгости системы типов.

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

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

@ct0r · 29.08.2015, 23:24

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

Чет у меня не хочет.

Версия должна быть не ниже 4.9

@Avazart · 29.08.2015, 23:27 **[ТС]**

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

С учетом того что вывод типов неизбежно ведет к строгости системы типов.

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

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

Не по теме:

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

Версия должна быть не ниже 4.9

Да дело не компилаторе как оказалось, что-то с опициями в qmake, QtCreator.
Успешно скомпилилось "с консоли".

@castorsky · 29.08.2015, 23:33

С учетом того что вывод типов неизбежно ведет к строгости системы типов. Прочитайте еще раз эти слова и вдумайтесь.
Теперь:

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

И да и нет, шаблоны та и так работают?

Что работает? При чем тут шаблоны? Я гворю про вывод типов, а не шаблоны или что-то еще. Я так понимаю что вопрос был задан "для проформы".

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

Работают перегрузки типов...

И что? Я говорю про вывод типов компилятором. А Вы мне про перегрузки типов (я понимаю, смысловая ошибка, но я понял что Вы хотели сказать).

Не по теме:

Предлагаю поспать.

@mymedia · 29.08.2015, 23:35

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

С учетом того что вывод типов неизбежно ведет к строгости системы типов.

Что за бред? Вывод типов никак не влияет на существующие преобразования типов.

@Avazart · 29.08.2015, 23:38 **[ТС]**

Вот и я не пойму каким боком.

C++
1
2
3
4
5
6
7
8
9
10
int main()
{
    bool a = true,
         b = true;
 
    auto c=  a + b;
    std::cout<< c <<std::endl;
 
    return 0;
}

Что изменилось?

Не по теме:

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

Вы мне про перегрузки типов (я понимаю, смысловая ошибка, но я понял что Вы хотели сказать).

Хотел написать "перегрузка ф-ций".

@castorsky · 29.08.2015, 23:58

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

Что за бред?

Бред это Ваши 5 копеек.

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

Вывод типов никак не влияет на существующие преобразования типов.

Так его (вывода) еще толком и нет. Как появится, появятся и последствия. Придется избавиться от неявных преобразований иначе они не впишутся в общую концепцию системы.

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

Что изменилось?

Ничего не изменилось. Операция + для типа bool не определена. Но это компилятор нисколько не смущает. Потому что есть неявное преобразование, которого при строгой типизации и быть не может.

@Avazart · 30.08.2015, 00:47 **[ТС]**

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

Так его (вывода) еще толком и нет.

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

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

Так его (вывода) еще толком и нет.

То что вы понимаете под выводом и не будет, ибо отпадет совместимость с Си.

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

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

впишутся в общую концепцию системы.

В "реальной жизни" много что не вписывается в концепцию.

@castorsky · 30.08.2015, 01:02

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

и теперь нам парите мозг

пардон, это Вы мне "парите мозг" совими глупыми вопросами и придирками по поводу не полученных ответов на не заданные вопросы.

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

То что вы понимаете под выводом и не будет, ибо отпадет совместимость с Си.

Еще в 98м пора было. Может сейчас прозреют.

Не по теме:

Avazart, прошу прощения, Вы пишете лишь бы писать, может от нечего делать, может "в интернете опять кто-то не прав"? Потому что это не я "навоображал какую-то фигню", а с 11 года эта фигня существует в языке и развивается хотите Вы этого или нет. Просто язык настолько убог что малейшее изменение стоит очень больших усилий, о чем я и сказал в первом посте. Есть очевидное желание привести его к приемлемой форме и это делается. Какие ко мне вопросы?

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

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

Так его (вывода) еще толком и нет.

Ну так есть вывод или нет?
То есть он как бы по вашему мнению есть, но вроде как и не вывод?

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

пардон, это Вы мне "парите мозг" совими глупыми вопросами и придирками по поводу не полученных ответов на не заданные вопросы.

Мой вопрос касался auto в языке С++, а в каких вы облаках витаете и размыления на тему "хороших языков" мне было не интересно совсем.

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

может от нечего делать, может "в интернете опять кто-то не прав"?

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

@NotNot · 30.08.2015, 03:32

castorsky, я вот тоже понять не могу, каким боком auto к строгой типизации и пп.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
auto foo(auto...) { ... } // это обычная шаблонная функция
template <typename... Args>
auto foo(Args...) { ... } // абсолютно то же самое
 
// ---------------------------------------------------- //
 
auto foo(vector<auto>) { ... } // шаблон
 
template <typename T>
auto foo(vector<T>) { ... } // тоже самое
 
// ---------------------------------------------------- //
 
template <typename T>
concept bool Container = requires { ... };
 
auto bar(Container) { ... } // просто шаблоная функция; тип параметра "какой-то там", но не Container
 
template <typename T>
auto bar(Container<T>) { ... } // тоже самое; тип параметра T
 
template <typename T>
  requires Container<T>
auto bar(T) { ... } // тоже самое
 
template <Container T> // можно так
auto bar(T) { ... } // и все равно тоже самое

Всё те же шаблоны. Концепты вместо enable_if. Вывод типов выражений останется такой же как сейчас. Сахар, да и только.

Новые блоги и статьи Все статьи Все блоги /
Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему kumehtar 26.08.2026 ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .	[EasyBuilder Pro] Памятка по разработке для панелей Weintek ФедосеевПавел 26.08.2026 Памятка по разработке для панелей Weintek ВВЕДЕНИЕ Ранее, при реализации проектов основное внимание уделял разработке управляющей программы для контроллера, а панели оператора доставалось время. . .	Модель по догадкам 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, и я вновь нахожусь на той стороне, за экраном машины. Кто Я, откуда Я пришел и куда Я иду? Эти вопросы не оставляют меня ни на секунду. Жизнь на планете Земля. . .

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 22:46
	Avazart, Я правильно понимаю что Вы утверждаете что система типов c++ строгая статическая? 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 22:54
	Avazart, отвечайте коротко: ди или нет. Теперь я Вас пощупаю за бороду как Вы пытались водить меня за нос. 0