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

Цитата D_KEY @ 19.12.11, 16:39

Ну там не один в один соответствие, все-таки разные плюшки...
Ты приведи показательный пример на тайпклассах, я попробую как-нибудь сделать через traits.

показательный пример чего? трейтов? как я могу привести показательный пример, если не знаю, что показывать? =) впрочем попробую:

module Classes (
    Point(..)
) where
 
class Point a where
    getX :: a -> Int
    getY :: a -> Int

module Traits (
    Color(..),
    Colored(..)
) where
 
data Color = RGB Int Int Int
 
class Colored a where
    getColor :: a -> Color

module Main where
 
import Classes
import Traits
 
data MyPoint = MyPoint Int Int Color
 
instance Point MyPoint where
    getX (MyPoint x _ _) = x
    getY (MyPoint _ y _) = y
 
instance Colored MyPoint where
    getColor (MyPoint _ _ c) = c

оно?

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

Что-то вроде такого...

template<typename T>
struct PointTraits
{
    static int getX(T);
    static int getY(T);
};

struct Color { int r, g, b; };
 
template<typename T>
struct ColoredTraits
{
    static Color getColor(T);
};

struct MyPoint
{
    int x;
    int y;
    Color color;
};
 
template<>
struct PointTraits<MyPoint>
{
    static int getX(const MyPoint &p)
    {
        return p.x;
    }
 
    static int getY(const MyPoint &p)
    {
        return p.y;
    }
};
 
template<>
struct ColoredTraits<MyPoint>
{
    static Color getColor(const MyPoint &p)
    {
        return p.color;
    }
};

Добавлено 19.12.11, 21:33
Странные немного получились trait'ы

Сообщение отредактировано: D_KEY - 19.12.11, 21:36

а нафик ты Point описал как трейт? это ж должен быть простой класс. как я понял трейты -- это те же примеси, только с методами

Сообщение отредактировано: korvin - 20.12.11, 05:45

D_KEY, не проще было бы привести какой-нибудь std::numeric_limits<>?

Цитата korvin @ 20.12.11, 03:55

а нафик ты Point сделал описал как трейт? это ж должен быть простой класс. как я понял трейты -- это те же примеси, только с методами

Нет. Это классы-характеристики, т.е. именно набор некоторых дополнительных свойств типа. Так например numeric_limits предоставляет некоторые дополнительные параметры указанного типа чисел, char_traits содержит свойства для типов символов, а iterator_traits, соответсвенно, для типов итераторов. Причем сами типы могут не знать о trait'ах. Мне показалось, что юзкейс этого приема пересекается с юзкейсом тайпклассов...

Добавлено 20.12.11, 05:47

Цитата Qraizer @ 20.12.11, 04:34

D_KEY, не проще было бы привести какой-нибудь std::numeric_limits<>?

мне хотелось посмотреть, справятся ли trait'ы с типовым использованием тайпклассов. Теперь вижу, что хоть вроде как и справились, но такое использование не очень соответствует изначальной идеи.

korvin, использование будет выглядеть примерно так:

template<typename T>
int f(const T &point)
{
    return PointTraits<T>::getX(point);
}

Еще можно сделать trait отдельным параметром, чтобы получить большую гибкость...
Так, например, поступает basic_string:

template<typename charT, typename traits = char_traits<charT>/*, ...*/>
class basic_string;

Т.е. по умолчанию используется std::char_traits для указанного типа символов(в стандартной библиотеки есть характеристики для char, wchar_t, char16_t, char32_t), но ты можешь подставить другой класс характеристик. Это позволяет использовать разные характеристики для одного типа символов.

Сообщение отредактировано: D_KEY - 20.12.11, 08:19

Цитата D_KEY @ 20.12.11, 08:18

korvin, использование будет выглядеть примерно так:

template<typename T>
int f(const T &point)
{
    return PointTraits<T>::getX(point);
}

чем это отличается от

f :: Point t => t -> Int
f p = getX p

?

Цитата korvin @ 20.12.11, 08:41

чем это отличается от

Вот это я тебя и хотел спросить

ээм... а в чём изюминка trait'ов? (с виду напоминают helper'ы).

Добавлено 21.12.11, 05:37

Цитата Qraizer @ 07.12.11, 02:31

DesweR, дык эта... лови момент.

эх далековато...

Цитата DesweR @ 21.12.11, 05:36

ээм... а в чём изюминка trait'ов? (с виду напоминают helper'ы).

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

D_KEY
А можно простенький конно-вакуумный пример на Foo Bar?

Цитата DesweR @ 21.12.11, 05:36

с виду напоминают helper'ы

скорее перегрузку или просто обертки

Цитата DesweR @ 21.12.11, 05:56

D_KEY
А можно простенький конно-вакуумный пример на Foo Bar?

А пример выше с basic_string не ясен?
На Foo Bar'е тут особо не объяснишь.
Вот еще пример из стандартной библиотеки. Есть iterator_traits - характеристики итератора. В числе этих характеристик есть тип-тэг категории итератора(итератор ввода, итератор вывода, последовательный итератор, двунаправленный итератор или итератор произвольного доступа). Этим пользуется стандартная функция сдвига итератора на произвольное число позиций std::advance. Так, например, для последовательного итератора будет вызван инкремент нужное число раз, а итератор произвольного доступа будет сдвинут сразу одной операцией. Выбор, естественно, будет сделан в compile-time, на основе категории итератора.

Добавлено 21.12.11, 07:04

Цитата korvin @ 21.12.11, 06:58

Цитата DesweR @ 21.12.11, 05:36

с виду напоминают helper'ы

скорее перегрузку или просто обертки

Ты уже объяснил мне разницу с тайпклассами?

Цитата DesweR @ 21.12.11, 05:56

А можно простенький конно-вакуумный пример на Foo Bar?

package test.classes;
 
public class Foo {
    public void foo() {
        System.out.println("Foo.foo()");
    }
}

package test.classes;
 
public class Gee {
    public void gee() {
        System.out.println("Gee.gee()");
    }
}

package test.classes;
 
public class Quux {
    public void quux() {
        System.out.println("Quux.quux()");
    }
}

package test.traits;
 
import test.classes.Foo;
import test.classes.Gee;
 
public class Bar {
    public static void exec(Foo foo) {
        System.out.print("Bar.exec(Foo) -> ");
        foo.foo();
    }
 
    public static void exec(Gee gee) {
        System.out.print("Bar.exec(Gee) -> ");
        gee.gee();
    }
}

package test.traits;
 
import test.classes.Quux;
 
public class Buz extends Bar {
    public static void exec(Quux quux) {
        System.out.print("Buz.exec(Quux) -> ");
        quux.quux();
    }
}

package test;
 
import test.classes.*;
import test.traits.Buz;
 
public class App {
    public static void main(String[] args) {
        Buz.exec(new Foo());
        Buz.exec(new Gee());
        Buz.exec(new Quux());
    }
}

Bar.exec(Foo) -> Foo.foo()
Bar.exec(Gee) -> Gee.gee()
Buz.exec(Quux) -> Quux.quux()

Сообщение отредактировано: korvin - 21.12.11, 07:30