今どきのGCCは再帰を書いても再帰を出さない (exponentialだとどうなる？)

「その数式、プログラムできますか？」→「その数式、どのようにコンパイルされますか？」になってしまっている。っていうか再帰一個で立ち止まりすぎだろ！

作者: Alexander A. Stepanov,Daniel E. Rose,株式会社クイープ
出版社/メーカー: 翔泳社
発売日: 2015/05/19
メディア: 単行本（ソフトカバー）
この商品を含むブログ (4件) を見る

指数関数の計算だと、どうなるのかやってみようと思った。再帰を入れている構造と、そもそも再帰を使わずにループで表現したバージョンを用意した。

int exponential0 (int n, int a) {
    if (n == 0) { return 1; }
    return exponential0 (n-1, a) * a;
}


int exponential1 (int n, int a) {
    if (n == 0) return 1;
    int result = exponential1 (half(n), a * a);
    if (odd (n)) result = result * a;
    return result;
}


int exponential2 (int n, int a) {
    if (n == 0) return 1;
    int result = exponential1 (half(n), a);
    result *= result;
    if (odd (n)) result = result * a;
    return result;
}


int exponential3 (int n, int a)
{
    int result = 1;
    while (1) {
        if (n == 0) {
            return result;
        }
        if (odd (n)) {
            result = result * a;
        }
        a = a * a;
        n = half (n);
    }
}