Древний printf

[vak]

Компилятор Би для БЭСМ-6 маленько подрос и уже способен правильно сгенерить функцию printf(). Вот как она выглядела в районе 1969 года.

printf(fmt, args) {
    auto ap, a, c, i, n;

    i = 0;
    ap = &args;
loop:
    while ((c = char(fmt, i)) != '%') {
        if (c == '*0')
            return;
        writeb(c);
        i = i + 1;
    }
    i = i + 1;
    c = char(fmt, i);
    if (c == '%') {
        writeb('%');
        i = i + 1;
        goto loop;
    }
    a = *ap;
    if (c == 'd') {
        printd(a);
    } else if (c == 'o') {
        printo(a);
    } else if (c == 'c') {
        write(a);
    } else if (c == 's') {
        n = 0;
        while ((c = char(a, n)) != '*0') {
            writeb(c);
            n = n + 1;
        }
    } else {
        /* bad format specification, ignore */
        goto loop;
    }
    i = i + 1;
    ap = ap + 1;
    goto loop;
}

Напишем тест, задействуя все форматы.

main() {
    printf("Hello, World!*n");
    printf("%% %% %%%%*n");
    printf("format %%d: %d %d*n", 123, -123);
    printf("format %%o: %o %o*n", 234, -234);
    printf("format %%c: %c %c*n", 'foo', 'bar');
    printf("format %%s: *"%s*" *"%s*"*n", "Hello", "World");
}

Компилируем, запускаем.

$ bbesm < test.b > test.assem 
$ besmc test.assem libb.obj
$ ./test.exe 
Hello, World!
% % %%
format %d: 123 -123
format %o: 352 -352
format %c: foo bar
format %s: "Hello" "World"

Фунциклирует в лучшем виде однако.

Comments

[juan_gandhi]

Мило. Дёшево и сердито. Только смешно литералы выглядят, c == '*0'.

[vak]

Комбинацию *0 и другие Кен Томпсон из BCPL унаследовал. Вероятно, в 1960-х годах символ \ встречался далеко не на всех терминалах.

[juan_gandhi]

Ох не встречался... Припоминаю ещё наши на эсэмках.

[ufm]

Что-то я туплю/ А чем строка 'string' отличается от строки "string"?

[sassa_nf]

'char' vs "string"

[ufm]

Продолжаю тупить - многобайтовый char?

[sassa_nf]

Да многобайтовьіх вроде нема. '*0' == '\0'

[ufm]

Тогда что значит
printf("format %%c: %c %c*n", 'foo', 'bar');
и его вывод:
format %c: foo bar

[sassa_nf]

Ok, I didn't notice 'foo', 'bar'

[vak]

Multicharacter constants were inherited by C from the B programming language. Although not specified by the C standard, most compilers (MSVC is a notable exception) implement multicharacter constants as specified in B: the values of each char in the constant initialize successive bytes of the resulting integer, in big-endian zero-padded right-adjusted order, e.g. the value of '\1' is 0x00000001 and the value of '\1\2\3\4' is 0x01020304.

https://en.cppreference.com/w/c/language/character_constant

[ufm]

О как.

[vak]

Полезная фича в языке Би оказалась.

[ufm]

Но в современном gcc не работает.

[vak]

Многосимвольные литералы вполне работают в GCC и в Clang. Но надо говорить -Wno-multichar, чтобы компилятор не ругался.

А вот libc их не понимает. Функция printf() по формату %c не умеет печатать многосимвольные литералы.

[ufm]

putchar тоже не выводит. Я собственно именно это под "не работает" и имел в виду.

[vak]

В этом самая заметная разница между Би и Си. И ещё * вместо /.

[ufm]

Вроде как тип char в сях - это всегда байт. А вот тип у 'a' (по крайней мере в гцц) - int.
Прикольно.

P.S. Больше 30 лет на сях не писал, забыл всё совсем.

[vak]

Тип char обычно байт, но на некоторых DSP микроконтроллерах бывает 16 бит.

Символьный литерал в Си имеет тип int, а в Си++ тип char. Чтобы программист не расслаблялся. 😀

[ufm]

собственно об этом в стандарте написано.

[x86128]

Хорошо

[vak]

Давняя была моя мечта, и вот наконец Би для БЭСМ-6 работает. Язык намного практичнее, чем какой-нибудь SmallC.