D vs C++ , почти сурковская пропаганда: не пора ли C++ потихоньку готовиться к пенсии?

Цитата applegame @ 11.02.14, 14:50

В C++ для этого юзают классы-пустышки, что является ничем иным, как костылем.

Вообще-то в плюсах теперь, как и во всех нормальных языках для этого используются лямбды теперь. Ты вот скажи, то строковое выражение что, компилируется в рантайме? Или как оно работает?

Цитата applegame @ 11.02.14, 14:55

Зачем и куда копировать достижимые ресурсы? Сразу предупреждаю, я не очень большой специалист в алгоритмах работы GC.

Это основа работы практически всех (полноценных) GC: http://en.wikipedia.org/wiki/Garbage_colle..._vs._non-moving

Цитата applegame @ 11.02.14, 14:50

В качестве стратегий: http://dpaste.dzfl.pl/adb455e76a45

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

Цитата

В качестве предикатов: http://dpaste.dzfl.pl/30cb1cd23e26

В сложных случаях будет запутано(и вообще интуитивно мне кажется это очень странной фичей), в обычных можно сделать на шаблонах и constexpr.

Цитата korvin @ 11.02.14, 15:02

Или как оно работает?

Реализацию метода find(!) покажи.

Цитата korvin @ 11.02.14, 14:51

Цитата applegame @ 11.02.14, 14:48

После того как все ссылки исчезли, деструктор вызовется, когда GC соблагоизволит прибить данный объект.

Обычно же GC копируют достижимые объекты, а не «прибивают» недостижимые, зачем тратить на это время и другие ресурсы?

Копировать сборщик в D не умеет. Но вот вызов деструктора(если он есть) таки приходится как-то делать при любом сборщике. Это та же история(почти), что и с финализаторами в явашарпах.

Сообщение отредактировано: D_KEY - 11.02.14, 15:09

Цитата korvin @ 11.02.14, 15:02

Ты вот скажи, то строковое выражение что, компилируется в рантайме? Или как оно работает?

Да, оно компиляется, только компиле-тайм, а не рантайм в лямбду-предикат. Эдакий синтаксический сахарок, для простеньких предикатов. Но можно пихать, естественно и функторы и лямбды.

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

Цитата applegame @ 11.02.14, 15:21

Эдакий синтаксический сахарок, для простеньких предикатов

korvin, как ты считаешь, нужно ли такой "сахарок", прости за выражение, сделать в CL: будем парсить sexp прямо из строки?

Итак, господа. Первая простейшая задача. Написать функцию-шаблон isOneOf(a, b1, b2, b3, b4, ...) возвращающую true если аргумент a равен хотя бы одному из аргументов b. Иначе false. Количество аргументов b от одного и далее. Типы аргументов могут быть разными, но подразумевается, что операция сравнения определена для a и любого из b. Два решения на D, итеративное и рекурсивное:

bool isOneOf1(A, ARGS...)(A a, ARGS bb) {
    foreach(b; bb) // это компиле-тайм foreach, не рантайм
        if(a == b) return true;
    return false;
}
 
bool isOneOf2(A, ARGS...)(A a, ARGS bb) {
    if(a == bb[0]) return true;
    static if(bb.length > 1) return isOneOf2(a, bb[1..$]);
    else return false;
}
 
void main() {
    assert(isOneOf1(1, 2, 3, 1, 5)); // ok 1 == 1
    assert(isOneOf2(1, 2, 3, 1, 5)); // ok 1 == 1
    assert(isOneOf1("a", "b", "c", "d", "e")); // runtime assertion
    assert(isOneOf2("a", "b", "c", "d", "e")); // runtime assertion
}

Итеративно, насколько я знаю в плюсах вообще невозможно сделать, сделайте хотя бы рекурсивно. Я бы и сам мог бы сделать, но вы же у нас гуру плюсов

Сообщение отредактировано: applegame - 11.02.14, 15:25

Цитата MyNameIsIgor @ 11.02.14, 15:23

korvin, как ты считаешь, нужно ли такой "сахарок", прости за выражение, сделать в CL: будем парсить sexp прямо из строки?

CL и так это умеет делать, есть же процедура read, которую можно вызывать хоть в compile-time, хоть в load-time, хоть в read-time. Да и те же reader-макросы. Вот только там это делать не за чем, да и не рекомендуется. =)

Цитата D_KEY @ 11.02.14, 15:04

В сложных случаях будет запутано(и вообще интуитивно мне кажется это очень странной фичей), в обычных можно сделать на шаблонах и constexpr.

Кстати да, то ли дело тот же питон например, хоть он мне и не нравится.

Цитата applegame @ 11.02.14, 15:21

Да, оно компиляется, только компиле-тайм, а не рантайм в лямбду-предикат. Эдакий синтаксический сахарок, для простеньких предикатов. Но можно пихать, естественно и функторы и лямбды.

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

Синтаксис хаскелла конечно трудновоспринимаем для тех, кто с ним не знаком, но после знакомства все становится понятным, и не надо ломать голову, почему у тебя параметр «a» вроде как связывается с массивом foo, но обращение к нему идет как к элементу foo.

Сообщение отредактировано: korvin - 11.02.14, 15:42

Цитата applegame @ 11.02.14, 15:24

Итак, господа. Первая простейшая задача. Написать функцию-шаблон isOneOf(a, b1, b2, b3, b4, ...) возвращающую true если аргумент a равен хотя бы одному из аргументов b. Иначе false. Количество аргументов b от одного и далее. Типы аргументов могут быть разными, но подразумевается, что операция сравнения определена для a и любого из b.

template<typename T, typename U>
bool isOneOf(T a, U b) {
    return a == b;
}
 
template<typename T, typename U, typename ... Args>
bool isOneOf(T a, U b, Args ... args) {
    return isOneOf(a, b) || isOneOf(a, args...);
}

Оно?

Добавлено 11.02.14, 15:40

Цитата applegame @ 11.02.14, 15:24

Итеративно, насколько я знаю в плюсах вообще невозможно сделать

А зачем?

Цитата applegame @ 11.02.14, 15:24

Два решения на D, итеративное и рекурсивное:

Хотелось бы посмотреть, как ты будешь строить список bb динамически, из пользовательского ввода например.

Цитата korvin @ 11.02.14, 15:35

Что, без макросов слишком медленно компилируется после плюсов?

Не понимаю, к чему это? DMD, кстати компилирует гораздо быстрее GCC. Одна из фишек D - быстрая компиляция.

Цитата korvin @ 11.02.14, 15:35

В чем проблема просто сделать удобный синтаксис для лямбд?

Он есть. Я повторяю, это просто синтаксический сахар. Не нравится - не юзай. Но сама возможность доставляет. Вот вариант с лямбдой: http://dpaste.dzfl.pl/f13179c43403
Кстати как в плюсиках создать подобную шаблоннуя inline-лямбду? Никак, только городить отдельный шаблонный предикат?

Сообщение отредактировано: applegame - 11.02.14, 15:45

Цитата D_KEY @ 11.02.14, 15:39

А зачем?

D_KEY, ты и показал итеративное решение И для него не нужен компилятор с поддержкой оптимизации хвостовой рекурсии.

Добавлено 11.02.14, 15:45

Цитата korvin @ 11.02.14, 15:35

Вот только там это делать не за чем, да и не рекомендуется. =)

Что я и говорю

Цитата D_KEY @ 11.02.14, 15:39

Оно?

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

Сообщение отредактировано: applegame - 11.02.14, 15:48

Цитата MyNameIsIgor @ 11.02.14, 15:44

Цитата D_KEY @ 11.02.14, 15:39

А зачем?

D_KEY, ты и показал итеративное решение И для него не нужен компилятор с поддержкой оптимизации хвостовой рекурсии.

Это как посмотреть Определение-то рекурсивное. То, что рекурсивного вызова в рантайме нет - это уже другой разговор. Мне интересно, зачем итеративное определение в такого рода вещах.

Цитата korvin @ 11.02.14, 15:41

Хотелось бы посмотреть, как ты будешь строить список bb динамически, из пользовательского ввода например.

Зачем? Это разве входило в условия задачи? Динамически только значения можно передавать. А длина и типы зафиксированы compile-time.