Разворачивание на C++ Опции

[ReAl]

Да вот кстати о С++
Там тема интересная на avrfreaks, мужик хочет добиться нужного разворачивания для скорости вывода. Две страницы многоэтажного ма...кросизма.
Сейчас вот в голову стукнуло «чисто для поржать»
http://www.avrfreaks.net/index.php?name=PN...p=769453#769453
Причём полный улёт — шаблоны, ссылки... Страшный-страшный С++
И результат...

[dxp]

Да вот кстати о С++
[...]
Причём полный улёт — шаблоны, ссылки... Страшный-страшный С++
И результат...

Посмотрел по ссылке. Красиво. И реализация, и результат.

[Petka]

Посмотрел по ссылке. Красиво. И реализация, и результат.

Можно проще и на чистом си:

Код

inline void unroll_out(uint8_t count, uint8_t value)
{
    PORTB = value;
    value <<= 1;
    if(count) unroll_out(count-1, value);
}

void foo(uint8_t v)
{
    unroll_out(8, v);
}

Результат:

Код

00000014 <foo>:
  14:    88 bb           out    0x18, r24; 24
  16:    88 0f           add    r24, r24
  18:    88 bb           out    0x18, r24; 24
  1a:    88 0f           add    r24, r24
  1c:    88 bb           out    0x18, r24; 24
  1e:    88 0f           add    r24, r24
  20:    88 bb           out    0x18, r24; 24
  22:    88 0f           add    r24, r24
  24:    88 bb           out    0x18, r24; 24
  26:    88 0f           add    r24, r24
  28:    88 bb           out    0x18, r24; 24
  2a:    88 0f           add    r24, r24
  2c:    88 bb           out    0x18, r24; 24
  2e:    88 0f           add    r24, r24
  30:    88 bb           out    0x18, r24; 24
  32:    88 0f           add    r24, r24
  34:    88 bb           out    0x18, r24; 24
  36:    08 95           ret

[dxp]

Можно проще и на чистом си:

Код

inline void unroll_out(uint8_t count, uint8_t value)
{
    PORTB = value;
    value <<= 1;
    if(count) unroll_out(count-1, value);
}

void foo(uint8_t v)
{
    unroll_out(8, v);
}

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

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

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

ИМХО код на шаблонах в этом смысле менее гибок получился.

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