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

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

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

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

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

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

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

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

@hoggy · 29.08.2015, 15:21

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

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

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

так к каким таким языкам он подтягивается?

@castorsky · 29.08.2015, 17:26

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

А в чем развитие то?

type inference

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

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

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

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

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

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

Bash

bash-4.3~$ cat ./hello.cpp && g++ ./hello.cpp && ./a.out
#include <iostream>
 
int
main (int argc, char ** argv)
{
    bool a = true, b = true;
    std::cout << a + b << std::endl;
    return 0;
}
2
bash-4.3~$

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

так к каким таким языкам он подтягивается?

SML например.

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

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

Это и параметрический полиморфизм

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

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

и автоматизация ручной работы.

Это и есть сахар.

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

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

Так она всегда была, нет?

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

Именно по этому я бы не сказал что это великое дoстижение.

@castorsky · 29.08.2015, 18:07

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

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

Обычным

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

Так она всегда была, нет?

Пример Вы внимательно смотрели? Ada или haskell такое даже не скомпилируют. Но поскольку c++ автоматически приводит к типу int, это говорит о слабости типизации.

Не по теме:

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

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

Лично Вы может просто никогда не писали на хороших языках. Но это Ваши личные проблемы.

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

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

Обычным

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

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

Вы внимательно смотрели? Ada или haskell такое даже не скомпилируют.

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

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

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

Лично Вы может просто никогда не писали на хороших языках. Но это Ваши личные проблемы.

"Хорошие языки" не так востребованы или я ошибаюсь?

@Ferrari F1 · 29.08.2015, 19:21

RAFA91, в стандартах до Си++ 2011, а так же в чистом Си ключевое слово auto использовалось лишь для создания автоматической (локальной) переменной (относительно функции), хотя в большинстве случаев это ключевое слово опускалось.
Если непонятно, то почитайте в обычном учебнике про классы памяти переменных.

@castorsky · 29.08.2015, 19:42

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

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

Шаблоны это не параметрический полиморфизм. Можете почитать на вике. Впрочем я не утверждаю что ПП будет, я говорю о том что ввод автовыводилки вполне легко может за собой привести ПП. Да, придется избавиться от ненужного наследия. Но это только хорошо. Слава Бгу уже научились ломать ABI через колено.

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

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

Почему я должен делить примитивы и юзер классы? Typesafe отсутствует и этого достаточно для утверждения что в c++ нестрогая статическая типизация. Вы, наверное, единственный для кого это новость.

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

Bash

bash-4.3~$ cat ./hello.cpp && g++ ./hello.cpp && ./a.out
#include <iostream>
 
int
main (int argc, char ** argv)
{
    bool a(true), b(true);
    std::cout << a + b << std::endl;
    return 0;
}
2
bash-4.3~$

Вот Вам typesafe

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

Haskell

Prelude> let (a, b) = (True, True) in a + b
 
<interactive>:4:32:
    No instance for (Num Bool) arising from a use of ‘+’
    In the expression: a + b
    In the expression: let (a, b) = (True, True) in a + b
    In an equation for ‘it’: it = let (a, b) = ... in a + b
Prelude> 
Leaving GHCi.

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

"Хорошие языки" не так востребованы или я ошибаюсь?

Ошибаетесь, еще.

@Avazart · 29.08.2015, 20:48 **[ТС]**

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

Шаблоны это не параметрический полиморфизм. Можете почитать на вике.

Да пофиг как это называть, суть не меняется этого можно достич уже существующими средставами С++ тем ме же шаблонами, кстати вы вики через строчку читали?

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

Typesafe отсутствует и этого достаточно для утверждения что в c++ нестрогая статическая типизация. Вы, наверное, единственный для кого это новость.

Я уже по поводу примера ответил, пример не корректен. Неявное приведение типов может быть, а может и не быть, это уже как определишь.

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

Ошибаетесь, еще.

Я все понимаю, но каким боком там Ruby ?

@castorsky · 29.08.2015, 20:56

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

Да пофиг как это называть, суть не меняется этого можно достич уже существующими средставами С++ тем ме же шаблонами

Я не являюсь членом комитета. Если Вы считаете что вывод типов в c++ не нужен, все претензии отсылайте туда.

Не по теме:

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

кстати вы вики через строчку читали?

Спасибо, не нуждаюсь. Багаж знаний позволяет не заглядывать.

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

Я уже по поводу примера ответил, пример не корректен.

Пусть будет не корректен. Если Вам так хочется.

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

Я все понимаю, но каким боком там Ruby ?

Ruby с моей точки зрения входит в категорию:

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

"Хорошие языки"

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

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

Да пофиг как это называть, суть не меняется

Вот именно что суть меняется. Это разные способы достижения одной цели.

@Avazart · 29.08.2015, 20:57 **[ТС]**

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

Спасибо, не нуждаюсь. Багаж знаний позволяет не заглядывать.

Ну так чего призывать, если самому лень заглянуть?

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

Ruby с моей точки зрения входит в категорию:

Блин и что вы будете сравнивать скриптовый язык с компилируемым? Это не серьезно...

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

Вот именно что суть меняется. Это разные способы достижения одной цели.

А если бантиком обвязать?

Способ один и тот же типы определяются во время компиляции, вам это не нравится?
Или то что чуть больше кода получается?

@castorsky · 29.08.2015, 21:01

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

Ну так чего призывать, если самому лень заглянуть?

Держи link

В данном коде (С++) определение функции на уровне исходного кода по-прежнему единственно, но в результате компиляции порождается такое количество перегруженных мономорфных функций, с каким количеством типов данных функция вызывается в программе. Другими словами, параметрический полиморфизм на уровне исходного кода транслируется в ad hoc полиморфизм на уровне целевой платформы.

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

Блин и что вы будете сравнивать скриптовый язык с компилируемым? Это не серьезно...

Я не сравниваю. Я ответил на Ваш вопрос

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

"Хорошие языки" не так востребованы или я ошибаюсь?

@Avazart · 29.08.2015, 21:24 **[ТС]**

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

Держи link

А это как раз по твоей ссылке ниже:

Параметрический полиморфизм также доступен в некоторых императивных (в частности, объектно-ориентированных) языках программирования, где для его обозначения обычно используется термин «обобщённое программирование»:

А еще ниже пример для Си и для С++ на осонве шаблона.

Ну или:

Полиморфизм

Семантика системы типов С++ не полиморфна (в отличие от потомков ML, в том числе гибридных с Си — BitC, Cyclone), однако есть несколько способов обеспечить полиморфное поведение. Прежде всего это перегрузка методов классов при наследовании — традиционный для ООП способ обеспечения абстракции данных. Затем есть два способа реализации параметрического полиморфизма (в С++-сообществе обычно называемого «обобщённым программированием»). Первый способ унаследован из Си — использование бестипового указателя и приведение типа в зависимости от других данных — хотя в С++ этот способ традиционно считается неидеоматичным и опасным. Второй заключается в использовании шаблонов — но, в отличие от обычных реализаций параметрического полиморфизма, в С++ происходит автоматическая генерация семейства перегруженных мономорфных функций на основании полиморфного определения (шаблона) в соответствии с контекстами его использования — то есть параметрический полиморфизм на уровне исходного кода транслируется в ситуативный (ad hoc) на уровне машинного, за что С++ подвергается критике (см. раздел Вычислительная производительность). В С++ также есть третий вид перегрузки — перегрузка операторов — которая в сочетании с наследованием классов предоставляет ещё большие возможности повышения читабельности кода путём ввода т. н. «синтаксического сахара».

https://ru.wikipedia.org/wiki/... 0.B7.D0.BC

@castorsky · 29.08.2015, 21:31

Avazart, Это Ваша лужа, в которую Вы сели по шею.

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

то есть параметрический полиморфизм на уровне исходного кода транслируется в ситуативный (ad hoc) на уровне машинного

А по сути текста это феерический бред

@Avazart · 29.08.2015, 21:48 **[ТС]**

Ну не я предлагал обращаться к вики.
Что они имели под машинным уровнем мне тоже не понятно.

Но вы так и не ответили на что может конкретно auto чего нельзя достичь шаблоном? Вот конкретно по вашему примеру? За исключеним конечто "красивого вида"?
А то все больше и больше съзжаете с темы...

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

@ct0r · 29.08.2015, 21:57

Avazart, напиши лямбда-функцию, которая может принимать любое число аргументов любого типа, и засунь ее в переменную. Все без auto.

@castorsky · 29.08.2015, 22:04

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

Что они имели под машинным уровнем мне тоже не понятно

Раз ~~Вы не знаете~~ Вам непонятно, то было бы уместным не начинать полемику.

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

Но вы так и не ответили на что может конкретно auto чего нельзя достичь шаблоном?

Вы не ставили такой вопрос. Вот Ваш вопрос:

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

А в чем развитие то?

Вот мой ответ.

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

А то все больше и больше съзжаете с темы...

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

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

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

Я рад за всех плюсистов что у них теперь есть такая крутая штука как decltype.

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

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

Ну не я предлагал обращаться к вики.

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

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

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

Раз Вы не знаете Вам непонятно, то было бы уместным не начинать полемику.

Раз вы не читали вики, можно было туда не отсылать.

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

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

Даже? Я как бы других источников от вас не дождался.
А когда открыл вики как вы посоветовали то там чудом оказалось "чушь" ?

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

которую можно опровергнуть даже рукипедией.

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

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

Вы не ставили такой вопрос. Вот Ваш вопрос:

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

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

Avazart, напиши лямбда-функцию, которая может принимать любое число аргументов любого типа, и засунь ее в переменную. Все без auto.

Да интересно, нужно подумать...

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

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

Avazart, напиши лямбда-функцию, которая может принимать любое число аргументов любого типа, и засунь ее в переменную. Все без auto.

Да теперь кажется понятно.

@castorsky · 29.08.2015, 22:36

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

Раз вы не читали вики, можно было туда не отсылать.

Это что? "Сам дурак"? Цитата с первого раза не понятна?

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

Даже? Я как бы других источников от вас не дождался.

Рукалицо. 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.

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

А когда открыл вики как вы посоветовали то там чудом оказалось "чушь" ?

Именно чушь. Читать источник выше полностью.

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

Вобще-то ставил, я спрашивал в чем разница, конкретно на вашем примере и вы съекали.

Выделенное жирным надо обрамлять тегом URL.

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

В любом случае, я поставил вопрос сейчас, если вы что-то не уловили сразу.

Мой ответ так же распространяется на Ваш новый вопрос, если Вы что-то не уловили сразу. Возможность ПП и строгость типизации удовлетворит Ваше ЧСВ?

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

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

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 21:24 [ТС]	13
	Сообщение от castorsky Держи link А это как раз по твоей ссылке ниже: Параметрический полиморфизм также доступен в некоторых императивных (в частности, объектно-ориентированных) языках программирования, где для его обозначения обычно используется термин «обобщённое программирование»: А еще ниже пример для Си и для С++ на осонве шаблона. Ну или: Полиморфизм Семантика системы типов С++ не полиморфна (в отличие от потомков ML, в том числе гибридных с Си — BitC, Cyclone), однако есть несколько способов обеспечить полиморфное поведение. Прежде всего это перегрузка методов классов при наследовании — традиционный для ООП способ обеспечения абстракции данных. Затем есть два способа реализации параметрического полиморфизма (в С++-сообществе обычно называемого «обобщённым программированием»). Первый способ унаследован из Си — использование бестипового указателя и приведение типа в зависимости от других данных — хотя в С++ этот способ традиционно считается неидеоматичным и опасным. Второй заключается в использовании шаблонов — но, в отличие от обычных реализаций параметрического полиморфизма, в С++ происходит автоматическая генерация семейства перегруженных мономорфных функций на основании полиморфного определения (шаблона) в соответствии с контекстами его использования — то есть параметрический полиморфизм на уровне исходного кода транслируется в ситуативный (ad hoc) на уровне машинного, за что С++ подвергается критике (см. раздел Вычислительная производительность). В С++ также есть третий вид перегрузки — перегрузка операторов — которая в сочетании с наследованием классов предоставляет ещё большие возможности повышения читабельности кода путём ввода т. н. «синтаксического сахара». https://ru.wikipedia.org/wiki/... 0.B7.D0.BC 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	29.08.2015, 21:57	16
	Avazart, напиши лямбда-функцию, которая может принимать любое число аргументов любого типа, и засунь ее в переменную. Все без auto. 1

Новые блоги и статьи
Как написать микросервис на Go/Golang InfoMaster 14.01.2025 Определение микросервиса, преимущества использования Go/ Golang Микросервис – это архитектурный подход к разработке программного обеспечения, при котором приложение состоит из небольших, независимо. . .	Как написать микросервис с нуля на C# InfoMaster 14.01.2025 В современном мире разработки программного обеспечения микросервисная архитектура стала стандартом де-факто для создания масштабируемых и гибких приложений. Этот архитектурный подход предполагает. . .	Как создать интернет-магазин на PHP и JavaScript InfoMaster 14.01.2025 В современном мире электронная коммерция стала неотъемлемой частью бизнеса. Создание собственного интернет-магазина открывает широкие возможности для предпринимателей, позволяя достичь большей. . .	Как написать Тетрис на Ассемблере InfoMaster 14.01.2025 Тетрис – одна из самых узнаваемых и популярных компьютерных игр, созданная в 1984 году советским программистом Алексеем Пажитновым. За прошедшие десятилетия она завоевала симпатии миллионы людей по. . .	Как создать игру "Танчики" на Unity3d и C# InfoMaster 14.01.2025 Разработка игр – это увлекательный процесс, сочетающий в себе творчество и технические навыки. В этой статье мы рассмотрим создание классической игры "Танчики" с использованием Unity3D и языка. . .	Организую платный онлайн микро-курс по доработке Android-клиента Telegram _Ivana 14.01.2025 Официальная версия и распространенные форки не полностью устраивают? Сделай свою кастомную версию клиента! 4 занятия по 2 часа (2 недели пн, ср 19:00-21:00 по Москве). Первое вводное занятие. . .
Как создать приложение для фитнеса для iOS/iPhone на Kotlin InfoMaster 14.01.2025 Создание собственного фитнес-приложения — это не только захватывающий, но и полезный процесс, ведь оно может стать вашим верным помощником на пути к здоровому и активному образу жизни. В современных. . .	Как создать приложение магазина для iOS/iPhone на Swift InfoMaster 14.01.2025 Введение в разработку iOS-приложений Разработка приложений для iPhone и других устройств на базе iOS открывает огромные возможности для создания инновационных мобильных решений. В данной статье мы. . .	Это работает. Скорость асинхронной логики велика. Вопрос видимо останется в стабильности. Плата - огонь! Hrethgir 13.01.2025 По прошлому проекту в Logisim Evolution https:/ / www. cyberforum. ru/ blogs/ 223907/ blog8781. html прилагаю файл архива проекта в Gowin Eda. Восьмибитный счётчик из сумматора+ генератор сигнала. . .	UserScript для подсветки кнопок языков программирования в зависимости от текущего раздела volvo 13.01.2025 В результате работы этого скрипта подсвечиваются нужные кнопки не только в форме быстрого ответа, но и при редактировании сообщения: / / ==UserScript== / / @name CF_DefaultLangSelect / / . . .	Введение в модели и алгоритмы машинного обучения InfoMaster 12.01.2025 Машинное обучение представляет собой одну из наиболее динамично развивающихся областей искусственного интеллекта, которая фокусируется на разработке алгоритмов и методов, позволяющих компьютерам. . .	Как на Python создать нейросеть для решения задач InfoMaster 12.01.2025 В контексте стремительного развития современных технологий особое внимание уделяется таким инструментам, как нейросети. Эти структуры, вдохновленные биологическими нейронными сетями, используются для. . .

@hoggy 8972 / 4318 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	29.08.2015, 15:21	2
	Сообщение от castorsky Важно то, что c++ хоть как-то подтягивается к развитым языкам. среди языков со статической типизацией, у него самая мощная на сегодняшний день система изнасилования типов. так к каким таким языкам он подтягивается? 0

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 17:49 [ТС]	4
	Сообщение от castorsky Это и параметрический полиморфизм Каким боком тут auto? Сообщение от castorsky и автоматизация ручной работы. Это и есть сахар. Сообщение от castorsky и строгость типизации Так она всегда была, нет? Лично я предпочитаю явно выражать свои намерения в коде, а не мучать читающего загадками. Т.е. понятно что auto можно использовать умеренно и с умом, но ведь легче то пихать везде и подряд... Именно по этому я бы не сказал что это великое дoстижение. 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 18:07	5
	Сообщение от Avazart Каким боком тут auto? Обычным Сообщение от Avazart Так она всегда была, нет? Пример Вы внимательно смотрели? Ada или haskell такое даже не скомпилируют. Но поскольку c++ автоматически приводит к типу int, это говорит о слабости типизации. Не по теме: Сообщение от Avazart Лично я предпочитаю явно выражать свои намерения в коде, а не мучать читающего загадками. Т.е. понятно что auto можно использовать умеренно и с умом, но ведь легче то пихать везде и подряд... Именно по этому я бы не сказал что это великое дoстижение. Лично Вы может просто никогда не писали на хороших языках. Но это Ваши личные проблемы. 0

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 19:17 [ТС]	6
	Сообщение от castorsky Обычным Во первых главное слово почти, во вторых зачем дублировать то что у нас уже есть - шаблоны? В чем достижение то? Может быт и красивее выглядит, но толку то? Сообщение от castorsky Вы внимательно смотрели? Ada или haskell такое даже не скомпилируют. Ну так замените встроенные типы(которые имеют свою историю) своими классами и тоже не будет компилироваться, если вы конечно не захотите что бы он не компилировалось и не определите операторы приведения. Добавлено через 1 минуту Сообщение от castorsky Лично Вы может просто никогда не писали на хороших языках. Но это Ваши личные проблемы. "Хорошие языки" не так востребованы или я ошибаюсь? 0

@Ferrari F1 806 / 533 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	29.08.2015, 19:21	7
	RAFA91, в стандартах до Си++ 2011, а так же в чистом Си ключевое слово auto использовалось лишь для создания автоматической (локальной) переменной (относительно функции), хотя в большинстве случаев это ключевое слово опускалось. Если непонятно, то почитайте в обычном учебнике про классы памяти переменных. 0

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 20:48 [ТС]	9
	Сообщение от castorsky Шаблоны это не параметрический полиморфизм. Можете почитать на вике. Да пофиг как это называть, суть не меняется этого можно достич уже существующими средставами С++ тем ме же шаблонами, кстати вы вики через строчку читали? Сообщение от castorsky Typesafe отсутствует и этого достаточно для утверждения что в c++ нестрогая статическая типизация. Вы, наверное, единственный для кого это новость. Я уже по поводу примера ответил, пример не корректен. Неявное приведение типов может быть, а может и не быть, это уже как определишь. Сообщение от castorsky Ошибаетесь, еще. Я все понимаю, но каким боком там Ruby ? 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 20:56	10
	Сообщение от Avazart Да пофиг как это называть, суть не меняется этого можно достич уже существующими средставами С++ тем ме же шаблонами Я не являюсь членом комитета. Если Вы считаете что вывод типов в c++ не нужен, все претензии отсылайте туда. Не по теме: Сообщение от Avazart кстати вы вики через строчку читали? Спасибо, не нуждаюсь. Багаж знаний позволяет не заглядывать. Сообщение от Avazart Я уже по поводу примера ответил, пример не корректен. Пусть будет не корректен. Если Вам так хочется. Сообщение от Avazart Я все понимаю, но каким боком там Ruby ? Ruby с моей точки зрения входит в категорию: Сообщение от Avazart "Хорошие языки" Добавлено через 1 минуту Сообщение от Avazart Да пофиг как это называть, суть не меняется Вот именно что суть меняется. Это разные способы достижения одной цели. 0

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 20:57 [ТС]	11
	Сообщение от castorsky Спасибо, не нуждаюсь. Багаж знаний позволяет не заглядывать. Ну так чего призывать, если самому лень заглянуть? Сообщение от castorsky Ruby с моей точки зрения входит в категорию: Блин и что вы будете сравнивать скриптовый язык с компилируемым? Это не серьезно... Сообщение от castorsky Вот именно что суть меняется. Это разные способы достижения одной цели. А если бантиком обвязать? Способ один и тот же типы определяются во время компиляции, вам это не нравится? Или то что чуть больше кода получается? 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 21:01	12
	Сообщение от Avazart Ну так чего призывать, если самому лень заглянуть? Держи link В данном коде (С++) определение функции на уровне исходного кода по-прежнему единственно, но в результате компиляции порождается такое количество перегруженных мономорфных функций, с каким количеством типов данных функция вызывается в программе. Другими словами, параметрический полиморфизм на уровне исходного кода транслируется в ad hoc полиморфизм на уровне целевой платформы. Сообщение от Avazart Блин и что вы будете сравнивать скриптовый язык с компилируемым? Это не серьезно... Я не сравниваю. Я ответил на Ваш вопрос Сообщение от Avazart "Хорошие языки" не так востребованы или я ошибаюсь? 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 21:31	14
	Avazart, Это Ваша лужа, в которую Вы сели по шею. Сообщение от Avazart то есть параметрический полиморфизм на уровне исходного кода транслируется в ситуативный (ad hoc) на уровне машинного А по сути текста это феерический бред 0

	29.08.2015, 22:39

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 21:48 [ТС]	15
	Ну не я предлагал обращаться к вики. Что они имели под машинным уровнем мне тоже не понятно. Но вы так и не ответили на что может конкретно auto чего нельзя достичь шаблоном? Вот конкретно по вашему примеру? За исключеним конечто "красивого вида"? А то все больше и больше съзжаете с темы... Добавлено через 5 минут К примеру введение decltype позволяет выводить тип возвращаемого значения из типов аргументов в шаблоных ф-циях, который ранее нужно было указывать явно. 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 22:04	17
	Сообщение от Avazart Что они имели под машинным уровнем мне тоже не понятно Раз ~~Вы не знаете~~ Вам непонятно, то было бы уместным не начинать полемику. Сообщение от Avazart Но вы так и не ответили на что может конкретно auto чего нельзя достичь шаблоном? Вы не ставили такой вопрос. Вот Ваш вопрос: Сообщение от Avazart А в чем развитие то? Вот мой ответ. Сообщение от Avazart А то все больше и больше съзжаете с темы... Я не "съезжаю с темы". Это Вы теряете нить разговора. Ставите вопрос, получаете ответ, потом предъявляете претензию по поводу вопросов, которых не было. Таким образом превращая тему во флуд. Сообщение от Avazart К примеру введение decltype позволяет выводить тип возвращаемого значения из типов аргументов в шаблоных ф-циях, который ранее нужно было указывать явно. Я рад за всех плюсистов что у них теперь есть такая крутая штука как decltype. Добавлено через 3 минуты Сообщение от Avazart Ну не я предлагал обращаться к вики. Просто Вы несете такую чушь, пардон, которую можно опровергнуть даже рукипедией. 0

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 22:26 [ТС]	18
	Сообщение от castorsky Раз Вы не знаете Вам непонятно, то было бы уместным не начинать полемику. Раз вы не читали вики, можно было туда не отсылать. Сообщение от castorsky Просто Вы несете такую чушь, пардон, которую можно опровергнуть даже рукипедией. Даже? Я как бы других источников от вас не дождался. А когда открыл вики как вы посоветовали то там чудом оказалось "чушь" ? Сообщение от castorsky которую можно опровергнуть даже рукипедией. Ну выходит что нет? Сообщение от castorsky Вы не ставили такой вопрос. Вот Ваш вопрос: Вобще-то ставил, я спрашивал в чем разница, конкретно на вашем примере и вы съекали. В любом случае, я поставил вопрос сейчас, если вы что-то не уловили сразу. И когда раница есть, это и есть развитие. Сообщение от ct0r Avazart, напиши лямбда-функцию, которая может принимать любое число аргументов любого типа, и засунь ее в переменную. Все без auto. Да интересно, нужно подумать... Добавлено через 9 минут Сообщение от ct0r Avazart, напиши лямбда-функцию, которая может принимать любое число аргументов любого типа, и засунь ее в переменную. Все без auto. Да теперь кажется понятно. 0

@castorsky 1978 / 1082 / 87 Регистрация: 29.11.2013 Сообщений: 3,353
	29.08.2015, 22:36	19
	Сообщение от Avazart Раз вы не читали вики, можно было туда не отсылать. Это что? "Сам дурак"? Цитата с первого раза не понятна? Сообщение от Avazart Даже? Я как бы других источников от вас не дождался. Рукалицо. 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. Сообщение от Avazart А когда открыл вики как вы посоветовали то там чудом оказалось "чушь" ? Именно чушь. Читать источник выше полностью. Сообщение от Avazart Вобще-то ставил, я спрашивал в чем разница, конкретно на вашем примере и вы съекали. Выделенное жирным надо обрамлять тегом URL. Сообщение от Avazart В любом случае, я поставил вопрос сейчас, если вы что-то не уловили сразу. Мой ответ так же распространяется на Ваш новый вопрос, если Вы что-то не уловили сразу. Возможность ПП и строгость типизации удовлетворит Ваше ЧСВ? 0

@Avazart 8483 / 6150 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	29.08.2015, 22:39 [ТС]	20
	ct0r, Только как я понимаю "шаблонные" лямбды не везде еще реализованы? Это ведь С++14 ? 0