Delphi vs C++ vs C# , ну и Java немножко, где-то ближе к старшему байту номеров страниц

template <typename T> class bla_bla
{
  void foo(T obj);
  void bar(T obj)
  {
   if (obj::ImAClass)
    foo(obj.Clone());
   else
    foo(obj);
  }
};

А-а-а!!! Фтопку.

Цитата Qraizer @ 26.04.11, 11:14

Тебя не удивляет, что double передаётся параметру, имеющему тип int? Вот кривизна-то, он оказывается при этом срезается...

Не удивляет. Да, кривизна, из той же оперы. Даже в С# такого безобразия нет.
Остальной батхёрт, с твоего позволения, проигнорирую, т.к. всё не в кассу

Цитата Qraizer @ 26.04.11, 11:21

А-а-а!!! Фтопку.

Про обобщенное программирование - отдельные товарищи(не будем тыкать в них пальцем) тебя не поймут. Инопланетная технология.

Цитата IL_Agent @ 26.04.11, 11:17

Я про "скрытость под капотом". Как это по-твоему должно быть ?

Как мне надоело одно и тоже с переодичностью раз в месяц писать. Ладно. Ещё раз. Есть объект, порождённый из типа... ну скажем some_type. Он имеет следующее поведение:

some_type some_obj;
some_obj = 1;
print(some_obj);\\в консоль 1
some_obj = 2;
print(some_obj);\\в консоль 2

и теперь.

void foo(some_type some_obj)
{
    some_obj = 2;
}
 
...
some_obj = 1;
foo(some_obj);
 
print(some_obj);

Что мне ожидать в консоли? В языках с объектными типами я всегда ожидаю 1. И это нормально. В языках со ссылочными типами я всегда ожидаю 2. И это нормально. Что мне ожидать в шарпе?

Цитата Qraizer @ 26.04.11, 11:14

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

вовсе нет, практика показывает, что C++ -- белая ворона, с какими-то своими, особыми понятиями

Цитата trainer @ 26.04.11, 11:28

Про обобщенное программирование - отдельные товарищи(не быдем тыкать в них пальцем) тебя не поймут. Инопланетная технология.

Технология хорошая, реализация в С++ - мягко говоря, не очень

Добавлено 26.04.11, 11:36
Повстанець, вот теперь я понял, что ты имеешь в виду. Да, в шарпе надо знать, ссылочный тип или нет.

Цитата Повстанець @ 26.04.11, 11:28

В языках со ссылочными типами я всегда ожидаю 2. И это нормально.

нет, ты путаешь ссылочный тип и передачу по ссылке

Цитата IL_Agent @ 26.04.11, 11:30

Технология хорошая, реализация в С++ - мягко говоря, не очень

Давай поговорим о обобщённом программировании в С++. Чем конкретно не нравится реализация?

Добавлено 26.04.11, 11:38

Цитата korvin @ 26.04.11, 11:36

нет, ты путаешь ссылочный тип и передачу по ссылке

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

Цитата Повстанець @ 26.04.11, 11:37

Давай поговорим о обобщённом программировании в С++. Чем конкретно не нравится реализация?

Ограниченностью и write-only (см. boost).

Цитата IL_Agent @ 26.04.11, 11:44

Ограниченностью и write-only (см. boost)

Краткость - не твоя сестра?
Зачем смотреть в boost, а не в его документацию? В C# без ковыряния в исходниках библиотек программировать невозможно?

Сообщение отредактировано: trainer - 26.04.11, 11:49

Цитата Повстанець @ 26.04.11, 11:37

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

а, ок

trainer, про написание речь, а не про использование.

Цитата IL_Agent @ 26.04.11, 11:44

Ограниченностью и write-only (см. boost).

Хорошо, про сложность шаблонных конструкций -- принимается. А ограниченность? Вот интересно, в чём тебя ограничивает полнотьюринговая система?

Цитата korvin @ 26.04.11, 10:34

тогда прекратите задавать глупые вопросы

Когда я говорил

Цитата MyNameIsIgor @ 26.04.11, 07:14

Что значит "не так"? Синтаксис не тот?

я имел в виду, что передача по ссылке (как в Java)

void Func(Base& b)

выглядит не так же.

Цитата korvin @ 26.04.11, 10:34

ссылке: реализация не приводится к супертипу
...
(это как в джаве)

Лол? Как это не приводится? Функция получает ссылку на предка, а то, что там есть виртуальные методы - это другой вопрос. Так что ссылка на потомка всё же приводится к ссылке на предка.

Цитата korvin @ 26.04.11, 10:34

значению: реализация не приводится к супертипу
(это как в джаве)

Покажите мне передачу по значению экземпляра класса в Java.

Цитата korvin @ 26.04.11, 10:34

ссылке: реализация не приводится к супертипу
...
(это как в плюсах)

Такая же чушь, как про джаву. В плюсах ссылка на потомка приводится к ссылке на предка. Наличие виртуальных методов тут ни при чём.

Цитата korvin @ 26.04.11, 10:34

значению: реализация приводится к супертипу
(это как в плюсах)

Ещё одна чушь незнающего плюсы. Я уже имел честь объяснить IL_Agent'у: в обсуждаемом фрагменте происходит приведение ссылки на потомка к ссылке на предка (что нормально, как я чуть выше объяснял), а уже потом - вызов конструктора копирования предка, который IL_Agent не запретил, но утверждает, что это вина языка.
Так что система типов тут ни при чём: в коде написано, что передавать необходимо по значению, что и происходит.

Сообщение отредактировано: MyNameIsIgor - 26.04.11, 11:58

Цитата Flex Ferrum @ 26.04.11, 09:56

Да и в паскале/делфи не предусмотрено никаких специальных конструкций для передачи аргументов, принимаемых функцией как var.

Наверное потому, что ссылки в "чистом" виде там не встречаются

Скрытый текст

Цитата Qraizer @ 26.04.11, 11:14

korvin мыслит эвклидово, теми аксиомами, которые вычитал. Ему не докажешь, что геометрия нашего мира вообще-то неэвклидова.

Цитата korvin @ 26.04.11, 11:29

вовсе нет, практика показывает, что C++ -- белая ворона, с какими-то своими, особыми понятиями

Не ищем мы никого, кроме людей. Не нужно нам других миров. Нам нужно зеркало (с) Солярис

Цитата trainer @ 26.04.11, 11:28

Про обобщенное программирование - отдельные товарищи(не будем тыкать в них пальцем) тебя не поймут. Инопланетная технология.

Сообщение отредактировано: DesweR - 26.04.11, 11:57