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

Цитата korvin @ 13.11.11, 16:55

<T extends Super>

Шо оно делает?

Цитата Повстанець @ 13.11.11, 17:05

Цитата korvin @ 13.11.11, 16:55

<T extends Super>

Шо оно делает?

гарантирует, что T является субклассом Super

Цитата korvin @ 13.11.11, 16:55

кстати, я что-то пропустил, или в шаблонах уже можно ограничивать значение классового параметра? а ля <T extends Super> ?

Специального синтаксиса не было и не будет - этот функционал можно сделать и так. Более того, можно специализировать поведения в зависимости от того, какой класс базовый и т.д. и т.п. Но все руками(или с помощью библиотек, таких как boost).

Цитата korvin @ 13.11.11, 16:55

кстати, я что-то пропустил, или в шаблонах уже можно ограничивать значение классового параметра? а ля <T extends Super> ?

Непосредственно синтаксис плюсов такую возможность не поддерживает. Однако это делается другими шаблонами

template<class T>
class A
{
  BOOST_STATIC_ASSERT_MSG(boost::is_base_of<Base, T>::value, "Error")
};

Ну, всё тоже самое есть в C++11, и static assert там не макрос, а обычная языковая конструкция.

Добавлено 13.11.11, 17:34

Цитата D_KEY @ 13.11.11, 17:32

Но все руками(или с помощью библиотек, таких как boost).

C++11 же Там страниц 17 стандарта таких шаблонов

Сообщение отредактировано: MyNameIsIgor - 13.11.11, 17:37

Цитата MyNameIsIgor @ 13.11.11, 17:33

Ну, всё тоже самое есть в C++11, и static assert там не макрос, а обычная языковая конструкция.

всмысле функция?

Цитата korvin @ 13.11.11, 19:51

всмысле функция?

В смысле, языковая конструкция.

Цитата korvin @ 13.11.11, 19:51

всмысле функция?

Нет. Декларация. Статическая проверка. Как-то так.

static_assert(std::is_base_of<Base, T>::value, "Error");

красота

Цитата IL_Agent @ 13.11.11, 20:52

красота

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

А дженерики не специализируются? О боже

Цитата MyNameIsIgor @ 13.11.11, 20:56

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

эм... а как тут специализация будет выглядеть?

Цитата korvin @ 14.11.11, 05:29

эм... а как тут специализация будет выглядеть?

Ну, если мне с наследниками Base работать одним способом, а с остальными - другим. Что-то вроде этого.

Добавлено 14.11.11, 05:47
Ну, или без специализации с помощью шаблона выбора типа - так.

а если нужно несколько специализаций? могу ли я, подключив твой файл (без main) как .h, написать специализации для своих классов и как? если я напишу специализацию для Derived, как B определит, какую специализацию выбрать -- Base или Derived, если я передам наследника Derived?

Цитата korvin @ 14.11.11, 05:57

а если нужно несколько специализаций? могу ли я, подключив твой файл (без main) как .h, написать специализации для своих классов и как? если я напишу специализацию для Derived, как B определит, какую специализацию выбрать -- Base или Derived, если я передам наследника Derived?

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

template<class T>
class impl
{
public:
  void f() { /*какая-то дефолтная реализация */ }
};
 
template<class T>
class A
{
  typedef impl<T> impl_type;
  //как-то юзаем реализацию
};

Подключив такой .h, вы можете специализировать impl по своему желанию

template<>
class impl<some_class>
{
public:
  void f() { /* реализация для some_class */ }
};
 
A<some_class> a;

а чем тебя не устраивает

class Impl<T> {
    public void f() { /* какая-то дефолтная реализация */ }
}
 
class A<T> {
    // как-то юзаем реализацию
}
 
class Some {
}
 
class SomeImpl extends Impl<Some> {
    public void f() { /* реализация для Some */ }
}

?

например

class Impl<T> {
    public void f() {
        System.out.println("Default");
    }
}
 
class A<T> {
    private Impl<T> impl;
 
    public A(Impl<T> impl) {
        this.impl = impl;
    }
 
    public void use() { impl.f(); }
}
 
class Some {
}
 
class SomeImpl extends Impl<Some> {
    public void f() {
        System.out.println("Some");
    }
}
 
public class Main {
    public static void main(String[] args) {
        A<String> aString = new A<>(new Impl<String>());
        A<Some>   aSome   = new A<>(new SomeImpl());
        aString.use();
        aSome.use();
    }
}

Default
Some

Сообщение отредактировано: korvin - 14.11.11, 08:12