c++でstructの使い方が分かりません

Question

前提

c++で競技プログラミングの勉強をしています。
構造体（struct）についての勉強中でプログラムをコンパイルすると、
エラーメッセージが発生しました。

PC関連に疎い部分が多いので、
足りない情報があれば言ってください（参照の仕方も教えていただけると幸いです）

実現したいこと

• structの中身をできるだけいじらずにエラーを回避したい
• 自身の環境に問題がありそうだが、それが何か見当がつかない

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

try.cpp: In function ‘int main()’:
try.cpp:35:7: error: missing template arguments before ‘RM’
   35 |   RMQ RM(3);

該当のソースコード

#include <bits/stdc++.h>
using namespace std;
/*#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep1(i, n) for (int i = 1; i < (int)(n+1); i++)
using ll = long long;
using P = pair<int,int>;
using Graph = vector<vector<int>>;*/

const int mod = 998244353;

//int n;

template <typename T>
struct RMQ {
    const T INF = numeric_limits<T>::max();
    int n;
    vector<T> dat, lazy;
    RMQ(T n_) : n(), dat(n_ * 4, INF), lazy(n_ * 4, INF) {
        cout << n << endl;
        int x = 1;
        while (n_ > x) x *= 2;
        n = x;
        cout << n << endl;
    }
};


int main() {
 // cin >> n;

  int ans = 0;

 // cout << ans << endl;

  RMQ RM(3);

  return 0;
}

試したこと

競技プログラミングサイト（Atcoder）上のコードテストでは、
プログラムを動かすことができた。

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

• WSL2上でUbuntu 20.04.4 LTS を動かしている
• エディターはVSCode
• g++ 9.4.0

Answer 1

try.cpp のコンパイル時に -std=c++17 オプションをつけて下さい。
例 : g++ -std=c++17 try.cpp

クラステンプレート (今回は template <typename T> struct RMQ) を一つの型として扱う際には、基本的に RMQ<int> RM(3); のようにテンプレート実引数 (ここでは int) を渡してテンプレート仮引数を決定する必要があります。
しかし C++17 と呼ばれる C++ のバージョンからはそういったクラステンプレートのテンプレート仮引数を、変数宣言における初期化で使われる式などから推定する機能が加わり、RMQ RM(3); のように書いても RM の型が RMQ<int>であると推定されるようになりました。

GCC のバージョンが 11.1 未満である場合、オプション無しでコンパイルすると C++ のバージョンが C++14 (C++17 のひとつ前) と呼ばれるものになるため先に挙げた機能が使えず、提示されたようなエラーが出てしまいます。
AtCoder のジャッジ環境において元のコードが正常にコンパイルされるのは、あちらの環境では ソースコードが C++17 として (正確には GNU 拡張も含みますが) コンパイルされるようにオプションが設定されているからです。

Comments

[drinksun]

非常に丁寧な説明ありがとうございます！

そのような仕様があったのですね、勉強になりました

Answer 2

g++9.4 はデフォルトではC++17の機能は有効ではない気がします。
-std=c++17
オプションをつけてみたらどうなりますか?

テンプレートパラメータのコンストラクタ引数からの推論はC++17以降の機能です。
https://cpprefjp.github.io/lang/cpp17/type_deduction_for_class_templates.html

Comments

[drinksun]

コンパイルの際に入力したら、問題なく動きました。
ありがとうございます！

Answer 3

missing template arguments

って言われているんだから，template引数を書けばよいのでは．

RMQ<int> RM(3); //実際，intで良いのかは知らんけども

Comments

[drinksun]

そのように変更したら、コンパイルでき、プログラムを動かすことができました。
ありがとうございます！