質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.38%

  • C

    4821questions

    C言語は、1972年にAT&Tベル研究所の、デニス・リッチーが主体となって作成したプログラミング言語です。 B言語の後継言語として開発されたことからC言語と命名。そのため、表記法などはB言語やALGOLに近いとされています。 Cの拡張版であるC++言語とともに、現在世界中でもっとも普及されているプログラミング言語です。

  • C++

    4653questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

constexpr関数の利用方法について

解決済

回答 1

投稿

  • 評価
  • クリップ 0
  • VIEW 381

asobinin

score 13

コンパイル時定数を利用するにあたって、テンプレートメタプログラミングの他に、関数の前にconstexprを付けることでinline展開&コンパイル時計算が保証されるということをいくつかのサイトで拝見したことがあります。
そこで実験として、フィナボッチ数列を再帰関数を利用して計算し、その時間を計ってみることにしたのですが、その結果が
-constexpr関数 time[ms]:3713
-テンプレート   time[ms]:0
-ノーマル関数   time[ms]:3617    (求める値を40にした場合)
となってしまいました。コンパイル時計算どころか、ノーマル関数より時間が掛かっています・・・

何故こうなったのか、記述が間違っているのか、あるいはそもそもの根本が間違っていたのかお教えください。

#include <iostream>
#include <chrono>
using namespace std;

// フィナボッチ数列(ノーマル)
unsigned long fina(unsigned long n) {
    /*if (n <= 2)
        return 1;
    return fina(n - 1) + fina(n - 2);*/

    return (n <= 2) ? 1 : (fina(n - 1) + fina(n - 2));
}

// フィナボッチ数列(constexpr)
constexpr unsigned long finaConst(unsigned long n) {
    return (n <= 2) ? 1 : (finaConst(n - 1) + finaConst(n - 2));
}

// フィナボッチ数列メタプログラミング
template <unsigned long N> struct Fina {
    enum { value = Fina<N-1>::value + Fina<N-2>::value };
};
template <> struct Fina<2> {
    enum { value = 1 };
};
template <> struct Fina<1> {
    enum { value = 1 };
};

// メイン関数
auto main() ->int {
    // 関数(constexpr)を利用した場合
    auto start = chrono::system_clock::now();
    cout << finaConst(40) << endl;
    auto end = chrono::system_clock::now();
    cout << "constexpr time[ms]:" << (double)chrono::duration_cast<chrono::milliseconds>(end - start).count() << endl;


    // テンプレートを利用した場合
    auto start2 = chrono::system_clock::now();
    cout << Fina<40>::value << endl;
    auto end2 = chrono::system_clock::now();
    cout << "template time[ms]:" << (double)chrono::duration_cast<chrono::milliseconds>(end2 - start2).count() << endl;


    // 関数(ノーマル)を利用した場合
    auto start3 = chrono::system_clock::now();
    cout << fina(40) << endl;
    auto end3 = chrono::system_clock::now();
    cout << "nomal time[ms]:" << (double)chrono::duration_cast<chrono::milliseconds>(end3 - start3).count() << endl;

    return 0;
}
  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 1

checkベストアンサー

+3

定数式の文脈以外ではconstexpr関数がコンパイル時に評価される保証はないからです。

constexpr auto re = finaConst(40);
std::cout << re << std::endl;

#include <type_traits>
std::cout << std::integral_constant<unsigned long, finaConst(40)>::value << std::endl;

のいずれかのようにする必要があります。


あー、多分わかった。finaConstにわたす回数が大きすぎて再帰上限512を超えているんじゃないかな。それを超えた場合動くかどうかは保証がないので、そういうことでは。40じゃなくて20とかなら通っているので。

そもそもC++14constexrを使って普通にループで書いてあげるのがいいと思います。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/01/09 22:37

    コンパイラの情報も書いておくべきでした・・・
    Visual Studio2017 15.9.4を使用しているので、コンパイラが古いというのは考えにくいです

    キャンセル

  • 2019/01/10 01:08

    追記しました

    キャンセル

  • 2019/01/10 01:59

    yumetodoさんの言う通り、再帰回数を減らしたら無事実行できました。
    回数に上限があったなんて知りませんでした・・・
    ご助言ありがとうございました。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.38%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

同じタグがついた質問を見る

  • C

    4821questions

    C言語は、1972年にAT&Tベル研究所の、デニス・リッチーが主体となって作成したプログラミング言語です。 B言語の後継言語として開発されたことからC言語と命名。そのため、表記法などはB言語やALGOLに近いとされています。 Cの拡張版であるC++言語とともに、現在世界中でもっとも普及されているプログラミング言語です。

  • C++

    4653questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。