c++ decltypeについて

Question

c++学習中です。
ttps://cpprefjp.github.io/lang/cpp11/sfinae_expressions.html
c++のdecltypeについて上記のサイトのようにdecltypeが引数（？）を２つとっているように見えるのですがこれが何を意味してるのかわかりません。
以下該当コード（decltype(a+b,bool())となっているところ）

template <class T1, class T2>
auto is_addable(T1 a, T2 b) -> decltype(a + b, bool())
{
  std::cout << "型T1とT2の間で、+演算子による加算が可能" << std::endl;
  return true;
}

Answer 1

C++では、コンマも演算子の1つです。a, bのように書くと、「aを評価してから捨てて、bの値を返す」という意味になります。

decltype(a + b, bool())は、a + bが評価可能ならそれは無視されてbool型となります。a + bを評価できないならコンパイルエラーです。

Comments

[退会済みユーザー]

,の意味がやっとわかりました。回答ありがとうございます。