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

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

新規登録して質問してみよう
ただいま回答率
86.12%
C++

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

解決済

C++ 定数式について

jbe00214
jbe00214

総合スコア60

C++

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

2回答

0リアクション

2クリップ

384閲覧

投稿2022/09/20 03:58

編集2022/09/20 10:16

前提

定数式を理解していたつもりですが,解決できない事例が出てきました。
以下の bar関数の#1 のコードのように ar を参照にしないとエラーは出ないのに,#2 のコードのように,参照をつけるとコンパイルできません。これはどのような理由によるものなのでしょうか。調べても分かりませんでした。
また,foo関数をどのように変更するとコンパイルできるのでしょうか。

実現したいこと

以下のコードの#2のように左辺値参照のまま,fooに渡したい。右辺値の参照でもよい。

発生している問題・エラーメッセージ

Constexpr variable 'D' must be initialized by a constant expression function parameter 'ar' with unknown value cannot be used in a constant expression

該当のソースコード

C++

#include<array> #include<iostream> template<typename T> constexpr std::size_t foo( T&& ar ) { return ar.size(); } template<typename T> void bar(T ar){ //#1 //void bar(const T& ar){ //#2 エラーとなる //void bar( T&& ar ){ //#2 エラーとなる constexpr std::size_t D = foo(ar); std::cout << D <<'\n'; } int main (){ std::array<int,3> ar{1,2,3}; bar(ar); }

試したこと

以下のようにfooの引数arの参照を外してみた。bar( T ar )でもコンパイルできませんでした。
エラー内容
constexpr std::size_t D = foo(ar);の行において
function parameter 'ar' with unknown value cannot be used in a constant expression

c++

template<typename T> constexpr std::size_t foo( T ar ) {///参照を外した return ar.size(); }

補足情報(FW/ツールのバージョンなど)

clang
C++17

以下のような質問にはリアクションをつけましょう

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

リアクションが多い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

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

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

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

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

適切な質問に修正を依頼しましょう。

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

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

ただいまの回答率
86.12%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

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

C++

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