コンセプトでのデフォルト引数あり関数について

Question

デフォルト引数ありの関数をrequiresの中で呼び出せるかの判断をしようとしていますが、デフォルト引数は考慮されないようです。
これは型がvoid(*fp)(int,int)となるから以下のコードのように書くとfalseになるというのは理解しています。
では、デフォルト引数を考慮するような書き方が分かりません。そもそも存在しますか？

#include <type_traits>
#include <iostream>

template <typename T>
concept C = requires(T x)
{
    x(10);
};

void f(int, int = 1){}

int main()
{
    std::cout << std::boolalpha << C<decltype(f)> << std::endl; //falseと出力される

    return 0;
}

Answer 1

型情報にはデフォルト引数の情報はありませんので、型をどういじってもデフォルト引数を考慮した判定は出来ません。

デフォルト引数を持つ関数は他の関数に引数として渡してもテンプレート引数として渡してもその時点でデフォルト引数は失われます。

// デフォルト引数が失われてエラーになる例
#include <iostream>

void f(int, int=1){}

template <auto f>
void foo(void) {
  f(10);
}

template <class T>
void bar(T& f) {
  f(10);
}

int main(void) {
  foo<f>();
  bar(f);

  return 0;
}

なので、コンセプトでデフォルト引数が考慮されてしまうとむしろつじつまが合わなくなってしまうでしょう。

コンセプトでデフォルト引数が考慮されないのは意図的な設計だと思われます。