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

Цитата applegame @ 11.02.14, 16:45

Вот специально для вас. Тут будет ровно одна функция, вызывающая сама себя

Тут да. Потому что здесь нет зависимости аргументов шаблона от аргументов функции. Это есть шаблон функции с переменным числом параметров.
А вот это

bool isOneOf2(A, ARGS...)(A a, ARGS bb)

есть шаблон функции с переменным числом параметров разного типа. Если семантика (а не компилятор) D сводит второе к первому, то D убог. Но я не думаю, что он так делает.

Добавлено 11.02.14, 16:54
applegame, можно ли в D сделать такую проверку? (грязный хак, знаю)

Вообще это фактически пошел холивар терминов. Факт в том, что я прекрасно знаю, что такое разворачивание хвостовых рекурсий, как именно работают шаблонные функции, как они инлайнятся (зависит от компилятора и от опций компиляции). Если кто считает, что я в этом деле профан - ваше право так думать и заявлять об этом, а мое право сказать вам: "до свидания".
А я тем временем вернусь к основному холивару и подгоню более сложную задачу.

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

Цитата applegame @ 11.02.14, 16:57

Факт в том, что я прекрасно знаю, что такое разворачивание хвостовых рекурсий

Только её здесь нет

Цитата applegame @ 11.02.14, 16:57

Вообще это фактически пошел холивар терминов. Факт в том, что я прекрасно знаю, что такое разворачивание хвостовых рекурсий, как именно работают шаблонные функции, как они инлайнятся (зависит от компилятора и от опций компиляции). Если кто считает, что я в этом деле профан - ваше право так думать и заявлять об этом, а мое право сказать вам: "до свидания".
А я тем временем вернусь к основному холивару и подгоню более сложную задачу.

А ты мог бы ответить на вопрос korvinа по поводу кода из строки и аргументов/захвата?

Цитата MyNameIsIgor @ 11.02.14, 16:49

applegame, можно ли в D сделать такую проверку? (грязный хак, знаю)

Так устроит? http://dpaste.dzfl.pl/1e63ac0de3b5

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

А ты мог бы ответить на вопрос korvinа по поводу кода из строки и аргументов/захвата?

На что-то я уже отвечал, процитируй вопрос еще раз.

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

Цитата applegame @ 11.02.14, 17:16

На что-то я уже отвечал, процитируй вопрос еще раз.

D vs C++ (сообщение #3413091)

Добавлено 11.02.14, 17:25

Цитата applegame @ 11.02.14, 17:16

Так устроит? http://dpaste.dzfl.pl/1e63ac0de3b5

Я думаю, Игорь имел в виду эту проверку: http://dpaste.dzfl.pl/7ee97716f99f

Цитата korvin @ 11.02.14, 16:18

Как тогда компилятор выясняет, какие идентификаторы в строке являются аргументами лямбды, а какие — нет? Или контекст вызова просто игнорируется и его также нужно явно передавать параметром?

А, если предикат задан строкой, то имена жестко зафиксированы за "a" и "b". Дело в том, что D умеет компилировать выражение в строке (конечно, только если значение строки вычисляемо compile-time).

Добавлено 11.02.14, 17:30

Цитата korvin @ 11.02.14, 17:19

Я думаю, Игорь имел в виду эту проверку: http://dpaste.dzfl.pl/7ee97716f99f

А в чем принципиальная разница?

Цитата applegame @ 11.02.14, 17:28

А в чем принципиальная разница?

Принципиальной разницы нет - функции разные.

Цитата applegame @ 11.02.14, 17:28

А в чем принципиальная разница?

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

Цитата MyNameIsIgor @ 11.02.14, 17:34

Принципиальной разницы нет - функции разные.

Это очевидно. При присвоении значения первому указателю, будут сгенерены две функции для двух и трех int. Для второго указателя сгенерится еще одна функция - для четырех int (для трех и двух уже нет необходимости, так как они уже есть). Если включить оптимизацию, то в готовом коде, вероятно, останутся только две функции: для трёх и для четырех int. Причем также вероятно, что та, что с четырмя не будет вызывать ту, что с тремя. Если компилер совсем крут, аки GCC, то в конечном коде функций может не быть совсем, все будет заинлайнено "в нули".

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

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

а кто-то утверждал, что функция одна.

Господи, я же говорил, с математической точки зрения. Можете обзывать это метафункцией:

Цитата MyNameIsIgor @ 11.02.14, 16:29

Метафункция рекурсивна, да. Порождённые ею функции - нет.

Цитата applegame @ 11.02.14, 17:28

Цитата korvin @ 11.02.14, 16:18

Как тогда компилятор выясняет, какие идентификаторы в строке являются аргументами лямбды, а какие — нет? Или контекст вызова просто игнорируется и его также нужно явно передавать параметром?

А, если предикат задан строкой, то имена жестко зафиксированы за "a" и "b". Дело в том, что D умеет компилировать выражение в строке (конечно, только если значение строки вычисляемо compile-time).

Можно подробнее? И есть ли способ захвата контекста в ..эм.. строку?

Цитата applegame @ 11.02.14, 17:42

Это очевидно

Собственно, не понятно чем вы тогда весь такой недовольный. Я ведь говорил

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

Рекурсивно определение шаблона. Но не определения функций, порождаемых этим шаблоном.

Цитата D_KEY @ 11.02.14, 17:46

Можно подробнее? И есть ли способ захвата контекста в ..эм.. строку?

Строка будет скомпилирована в контексте того места, где она собственно скомпилирована, простите за тавтологию. Ща приведу пример, может станет понятней.

Цитата applegame @ 11.02.14, 17:42

Господи, я же говорил, с математической точки зрения. Можете обзывать это метафункцией

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

Цитата MyNameIsIgor @ 11.02.14, 17:51

Собственно, не понятно чем вы тогда весь такой недовольный. Я ведь говорил

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

Добавлено 11.02.14, 18:01

Цитата korvin @ 11.02.14, 17:54

С «математической» точки зрения у всех функций только один аргумент например. =)

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

Цитата korvin @ 11.02.14, 17:54

Не знаю, зачем вообще надо было приплетать в обсуждение математику и какой «физический смысл» у этой «математической точки зрения» как в контексте обсуждения, так и для компиляторов.

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

Добавлено 11.02.14, 18:15
Вот обещанный пример. Обратите внимание на удобство и простоту использования auto в качестве возвращаемого типа:
[URL=http://dpaste.dzfl.pl/82aacb91bb0b

import std.conv;
 
auto foo(string code)(int a, int b) {
    int c = a - b;
    return mixin(code);
}
    
void main() {
    assert( foo!("a + b")(1, 2) == 3 );
    assert( foo!("a == b")(1, 2) == false );
    assert( foo!("a + c")(1, 2) == 0 );
    assert( foo!("a.to!string ~ b.to!string")(1, 2) == "12" );
}

]http://dpaste.dzfl.pl/82aacb91bb0b

import std.conv;
 
auto foo(string code)(int a, int b) {
    int c = a - b;
    return mixin(code);
}
    
void main() {
    assert( foo!("a + b")(1, 2) == 3 );
    assert( foo!("a == b")(1, 2) == false );
    assert( foo!("a + c")(1, 2) == 0 );
    assert( foo!("a.to!string ~ b.to!string")(1, 2) == "12" );
}

[/URL]

Добавлено 11.02.14, 18:22
И да, на всякий случай, уточню: будет сгенерено четыре функции foo, для разных строковых параметров.

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