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

Цитата MyNameIsIgor @ 14.11.11, 11:51

Ну, потому что когда "пользователь попытается использовать определенные функции класса WidgetManager", компилятор сообщит об ошибке. А сделает он это потому, что С++ - статически типизированный язык.
В свою очередь, вы этот факт прокомментировали как "получит жопу". Из чего следует вывод, что вы воспринимаете статическую типизацию как жопу.

нет, не следует, из этого следует, что пользователь получит жопу т.к. ожидал, что работает с объектом класса A<B>, а получилось, что с недо-A<B>

Цитата korvin @ 14.11.11, 11:55

ожидал, что работает с объектом класса A<B>

Да, и его ожидания оправдались
Ты пропустил мимо ушей мои рассуждения о типах? Тип A<B> и тип A<C> - это разные типы. В том числе, у них может различаться и набор операций.

Сообщение отредактировано: D_KEY - 14.11.11, 11:59

Цитата MyNameIsIgor @ 14.11.11, 11:51

А сами не видите? Как я могу получить some_type в вашем коде? Где он у вас вообще? Или решили дурачка включить? С чего у вас void f()?

потому что у вас он изначально void был, потому не обратил внимание, ну да пожалуйста:

interface Impl<T> {
    T f();
}
 
class DefaultImpl<T> implements Impl<T> {
    public static final boolean flag = true;
    private T data;
    public DefaultImpl(T data) { this.data = data; }
    public T f() {
        System.out.printf("Default (%s)\n", flag);
        return data;
    }
}

Цитата korvin @ 14.11.11, 12:02

потому что у вас он изначально void был, потому не обратил внимание, ну да пожалуйста

Что пожалуйста? Вы так и не поняли? Метод f() у меня возвращает не T, а some_type. Для того он в Impl и объявлен. Хочу так же на джаве (шарпе, дельфи - не важно)

Цитата D_KEY @ 14.11.11, 11:59

Да, и его ожидания оправдались

нет. ибо A<?> декларирует публичный метод g(), а полученный A<B> -- нет

Цитата D_KEY @ 14.11.11, 11:59

Ты пропустил мимо ушей мои рассуждения о типах?

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

Цитата D_KEY @ 14.11.11, 11:59

Тип A<B> и тип A<C> - это разные типы. В том числе, у них может различаться и набор операций.

разные, но тип A он один. и тот же. для всех.

Добавлено 14.11.11, 12:10

Цитата MyNameIsIgor @ 14.11.11, 12:05

Что пожалуйста? Вы так и не поняли? Метод f() у меня возвращает не T, а some_type. Для того он в Impl и объявлен. Хочу так же на джаве (шарпе, дельфи - не важно)

какое отношение typedef имеет к шаблонам? но да, возвращать значения произвольного типа одним и тем же методом в джаве нельзя. и правильно

Цитата korvin @ 14.11.11, 12:06

разные, но тип A он один. и тот же. для всех.

В том то и дело, что типа A в плюсах не существует Есть только его шаблон.

Добавлено 14.11.11, 12:11

Цитата korvin @ 14.11.11, 12:06

какое отношение typedef имеет к шаблонам?

То, что он может быть разным для разных специализаций.

Цитата korvin @ 14.11.11, 12:06

но да, возвращать значения произвольного типа одним и тем же методом в джаве нельзя. и правильно

Одним и тем же - да правильно. Вопрос в том, с чего это один и тот же метод? В плюсах это разные методы разных типов.

Цитата korvin @ 14.11.11, 12:06

нет. ибо A<?> декларирует публичный метод g(), а полученный A<B> -- нет

что такое A<?> ?

Цитата

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

Я повторю. Классы-политики и шаблоны вообще позволяют манипулировать конструированием типов.
То, что предлагаешь ты работает в динамике и с объектами. Так можно сделать и в С++, но это не является аналогом того, что требуется.

Цитата

тип A он один. и тот же. для всех.

A - не тип, а шаблон типа.
В С++ не дженерики, korvin, в С++ шаблоны.

Цитата MyNameIsIgor @ 14.11.11, 12:10

В том то и дело, что типа A в плюсах не существует Есть только его шаблон.

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

P.S. а че это D_KEY в RO? o_O'

Цитата korvin @ 14.11.11, 12:06

возвращать значения произвольного типа одним и тем же методом в джаве нельзя

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

Цитата D_KEY @ 14.11.11, 12:12

Цитата korvin @ 14.11.11, 12:06

нет. ибо A<?> декларирует публичный метод g(), а полученный A<B> -- нет

что такое A<?> ?

тайпкласс вида * -> *
=)

Цитата korvin @ 14.11.11, 12:13

но это же шаблон типа

Ага.

Цитата korvin @ 14.11.11, 12:13

вполне конкретный шаблон

Ага.

Цитата korvin @ 14.11.11, 12:13

вполне конкретного типа

Нет Это объясняли совсем недавно. Тип становится известен в момент инстанцирования. И никак не раньше.

Цитата korvin @ 14.11.11, 12:13

P.S. а че это D_KEY в RO? o_O'

Да-да! D_KEY, почисти личные сообщения

Цитата korvin @ 14.11.11, 12:13

P.S. а че это D_KEY в RO? o_O'

Небольшое наказание. За ролик, размещенный в Юморе->Видеоприкол. Я пока не понял, что с ним было не так
Еще из-за этого(судя по всему) у меня ящик сообщений говорит, что переполнен, и не дает ничего отправить

Цитата D_KEY @ 14.11.11, 12:12

Я повторю. Классы-политики и шаблоны вообще позволяют манипулировать конструированием типов.
То, что предлагаешь ты работает в динамике и с объектами. Так можно сделать и в С++, но это не является аналогом того, что требуется.

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

Добавлено 14.11.11, 12:19

Цитата D_KEY @ 14.11.11, 12:14

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

т.е. невозможно узнать, является ли класс инстансом шаблона или нет?

Наказание на сутки всего)

Цитата korvin @ 14.11.11, 12:16

т.е. невозможно узнать, является ли класс инстансом шаблона или нет?

В статике - возможно. В run-time - нет. Полученные при инстанцировании типы никак не связаны. Если вы сами их не свяжите