trait + impl vs class , навеяно Rust'ом

[applegame]

Цитата D_KEY @ 08.07.15, 07:51

С данной задачей справляются и более слабые языки

Да. Но задача все же выеденного яйца не стоит. Очень уж исскуственная.

[D_KEY]

Цитата applegame @ 08.07.15, 09:10

Цитата D_KEY @ 08.07.15, 07:51

С данной задачей справляются и более слабые языки

Да. Но задача все же выеденного яйца не стоит. Очень уж исскуственная.

Ну это просто пример. В принципе, тут можно обеспечить более крутые проверки.

А суть в том, что в C++ нет настоящего параметрического полиморфизма, лишь имитация посредством шаблонов(да, они во многом позволяют делать более крутые вещи, чем дженерики или полиморфные типы).

[applegame]

Цитата D_KEY @ 08.07.15, 09:17

А суть в том, что в C++ нет настоящего параметрического полиморфизма

Как мы уже выяснили, это зависит от того, что понимать под понятием ПП. Я, лично считаю, что это самый что ни на есть настоящий параметрический полиморфизм.

Добавлено 08.07.15, 09:22

Цитата D_KEY @ 08.07.15, 09:17

Ну это просто пример. В принципе, тут можно обеспечить более крутые проверки.

Тут только одно ограничение - рекурсивное инстанцирование. на этом более крутые проверки заканчиваются.

Сообщение отредактировано: applegame - 08.07.15, 09:22

[D_KEY]

Цитата applegame @ 08.07.15, 09:20

Как мы уже выяснили, это зависит от того, что понимать под понятием ПП. Я, лично считаю, что это самый что ни на есть настоящий параметрический полиморфизм.

А почему ты так считаешь? Я считаю, что нет, т.к. все портит специализация и перегрузка, которая делает код обобщенной функции/класса зависимым от типов-параметров, что прямо противоречит определению ПП

Добавлено 08.07.15, 09:25

Цитата applegame @ 08.07.15, 09:20

Тут только одно ограничение - рекурсивное инстанцирование.

Источник проблемы вообще в том, что нужно инстанцировать. А корень требования инстанцирования в том, что есть зависимость шаблонного кода от параметров(чего нет в случае ПП).

[applegame]

Цитата D_KEY @ 08.07.15, 09:22

Я считаю, что нет, т.к. все портит специализация и перегрузка,

А я не считаю, что портит. Ты же не обязан специализировать и перегружать. Не пурегружай и не специализируй и будет тебе ПП. А то у тебя получается, что автомобиль с крыльями - уже не автомобиль, потому что крылья позволяют летать, а автомобиль по определению не летает.

Цитата D_KEY @ 08.07.15, 09:22

Источник проблемы вообще в том, что нужно инстанцировать. А корень требования инстанцирования в том, что есть зависимость шаблонного кода от параметров(чего нет в случае ПП).

Это ничего не меняет. По сути все равно как там разворачиваются шаблоны внутри, пока дело не доходит до рекурсии. И, по моему глубокому убеждению это никак не связано с "истинностью" ПП. Вооще никак. Это просто недостаток C++.

Сообщение отредактировано: applegame - 08.07.15, 09:33

[D_KEY]

Цитата applegame @ 08.07.15, 09:32

А я не считаю, что портит. Ты же не обязан специализировать и перегружать. Не пурегружай и не специализируй и будет тебе ПП.

Не будет, так как компилятор будет инстанцировать и зависимость никуда не уйдет.

Цитата

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

Если крылья мешают ездить, то да, это не автомобиль.

[DarkEld3r]

Цитата D_KEY @ 08.07.15, 07:51

Надо таки посмотреть, что rust скажет по этому поводу.

Ничего не скажет - не получится там это реализовать.

enum List {
    Cons(u32, Box<List>),
    Nil,
}

Значения внутри enum считаются именно значениями, а не типами, так что специализацию для них (пока?) сделать не получится. А если делать реализацию для ScalarProduct, то и проверки длины придётся делать руками. Например, как это сделано тут.

Сообщение отредактировано: DarkEld3r - 08.07.15, 09:45

[D_KEY]

Цитата DarkEld3r @ 08.07.15, 09:44

Значения внутри enum считаются именно значениями, а не типами, так что специализацию для них (пока?) сделать не получится.

Но можно же сделать разные типы для Nil и Cons.

[applegame]

Цитата D_KEY @ 08.07.15, 09:42

Не будет, так как компилятор будет инстанцировать и зависимость никуда не уйдет.

А тебе то какое дело до того что там делает компилятор? Ты смотри на исходники.

Цитата D_KEY @ 08.07.15, 09:42

Если крылья мешают ездить, то да, это не автомобиль.

Тебе мешает специализация и перегрузка?

[D_KEY]

Цитата applegame @ 08.07.15, 09:50

Цитата D_KEY @ 08.07.15, 09:42

Не будет, так как компилятор будет инстанцировать и зависимость никуда не уйдет.

А тебе то какое дело до того что там делает компилятор?

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

Цитата

Цитата D_KEY @ 08.07.15, 09:42

Если крылья мешают ездить, то да, это не автомобиль.

Тебе мешает специализация и перегрузка?

Она мне помогает Но ПП она мешает, да.

[applegame]

Цитата D_KEY @ 08.07.15, 10:34

А в случае с шаблонами - нет. Мне нужно знать, что зависит от параметра шаблона, а что нет, подхватит ли он нужные мне перегрузки и специализации или нет. И т.д.

Полагаю это твои личные заморочки. Я начинаю задумываться о глубинах компилятора, только когда что-то оптимизирую или пишу нечто не укладывающееся в ПП. Может этому способствует более приятный синтаксис D, не знаю.

Сообщение отредактировано: applegame - 08.07.15, 10:37

[D_KEY]

Цитата applegame @ 08.07.15, 10:37

Цитата D_KEY @ 08.07.15, 10:34

А в случае с шаблонами - нет. Мне нужно знать, что зависит от параметра шаблона, а что нет, подхватит ли он нужные мне перегрузки и специализации или нет. И т.д.

Полагаю это твои личные заморочки.

Вообще-то это нужно знать, чтобы решать задачи. Просто ты, как правило, итак это держишь в голове, потому отдельно не обдумываешь. Но тебе нужно знать, что

template<typename T>
void foo(T x)
{
    bar(x);
}

Вызовет подходящий bar. А в более сложных случаях(методы, неймспейсы и поиск Кенига, перегрузки, специализации и пр. и пр.), это не так просто понять.

[DarkEld3r]

Цитата D_KEY @ 08.07.15, 09:46

Но можно же сделать разные типы для Nil и Cons.

Как? Вот тут список - это или конец списка или значение и указатель на список:

enum List {
    Cons(u32, Box<List>),
    Nil,
}

Если сделать отдельно:

struct Nil;
struct Cons(u32, Box<???>);

То что должно быть вместо вопросительных знаков? Да и матчиться по разнородным типам нельзя.

В общем, или я туплю где-то или всё-таки не получится.

[D_KEY]

Цитата DarkEld3r @ 08.07.15, 11:18

Цитата D_KEY @ 08.07.15, 09:46

Но можно же сделать разные типы для Nil и Cons.

Как? Вот тут список - это или конец списка или значение и указатель на список:

enum List {
    Cons(u32, Box<List>),
    Nil,
}

Если сделать отдельно:

struct Nil;
struct Cons(u32, Box<???>);

То что должно быть вместо вопросительных знаков? Да и матчиться по разнородным типам нельзя.

В общем, или я туплю где-то или всё-таки не получится.

Там в ЖЖ код на C#, на дженериках.

using System;
interface ScalarProduct<A> {
  int scalarProduct(A second);
}
class Nil : ScalarProduct<Nil> {
  public Nil(){}
  public int scalarProduct(Nil second) {
    return 0;
  }
}
class Cons<A> : ScalarProduct<Cons<A>> where A : ScalarProduct<A> {
  public int value;
  public A tail;
  public Cons(int _value, A _tail) {
    value = _value;
    tail = _tail;
  }
  public int scalarProduct(Cons<A> second){
    return value * second.value + tail.scalarProduct(second.tail);
  }
}
class _Test{
  public static int main(int n){
    return _main(n, 0, new Nil(), new Nil());
  }
  public static int _main<A>(int n, int i, A first, A second) where A : ScalarProduct<A> {
    if (n == 0) {
      return first.scalarProduct(second);
    } else {
      return _main(n-1, i+1, new Cons<A>(2*i+1,first), new Cons<A>(i*i, second)); // Works
      //return _main(n-1, i+1, first, new Cons<A>(i*i, second)); // Doesn't work
    }
  }
}
public class Test{
  public static void Main(){
    Console.Write("Enter a number: ");
    int val = Convert.ToInt32(Console.ReadLine());
    Console.WriteLine(_Test.main(val));
  }
}

[applegame]

Цитата D_KEY @ 08.07.15, 11:00

Но тебе нужно знать, что

template<typename T>
void foo(T x)
{
    bar(x);
}

Вызовет подходящий bar.

Нет не нужно. Этот bar вообще может быть в сторонней либе, и мне по сути совершенно все равно, как оно там реализовано: перегрузкой, просто шаблоном или шаблоном с частичной специализацией. Для меня это будет полиморфная функция bar.

Добавлено 08.07.15, 11:30
Тут вот еще Qraizer задавал вопрос, мне тоже интересно. Что значит полиморфный тип? Кто-нибудь может дать внятное определение, на основании которого можно было бы утверждать, что T в шаблоне - это не полиморфный тип.

Сообщение отредактировано: applegame - 08.07.15, 11:30