c++ - ラムダがジェネリックではないことを static_assert することは可能ですか?

Question

バリアントで現在アクティブな型が関数シグネチャ (より正確には最初の引数) と一致することを確認する Visit 関数を (バリアントで) 実装しました。この素敵な答えに基づいています。例えば

#include <variant>
#include <string>
#include <iostream>

template<typename Ret, typename Arg, typename... Rest>
Arg first_argument_helper(Ret(*) (Arg, Rest...));

template<typename Ret, typename F, typename Arg, typename... Rest>
Arg first_argument_helper(Ret(F::*) (Arg, Rest...));

template<typename Ret, typename F, typename Arg, typename... Rest>
Arg first_argument_helper(Ret(F::*) (Arg, Rest...) const);

template <typename F>
decltype(first_argument_helper(&F::operator())) first_argument_helper(F);

template <typename T>
using first_argument = decltype(first_argument_helper(std::declval<T>()));

std::variant<int, std::string> data="abc";
template <typename V>
void Visit(V v){
using Arg1 = typename std::remove_const_t<std::remove_reference_t<first_argument<V>>>;//... TMP magic to get 1st argument of visitor + remove cvr, see Q 43526647
if (! std::holds_alternative<Arg1>(data)) {
std::cerr<< "alternative mismatch\n";
return;
}
v(std::get<Arg1>(data));
}
int main(){
    Visit([](const int& i){std::cout << i << "\n"; });
    Visit([](const std::string& s){std::cout << s << "\n"; });
    // Visit([](auto& x){}); ugly kabooom
}

[](auto&){}これは機能しますが、ユーザーが一般的な (例: ) ラムダを渡すと、ユーザーにとって使いにくいコンパイル時エラーで爆発します。これを検出し、それについて親切にする方法はありstatic_assert()ますか? ラムダだけでなく、関数テンプレートでも機能するといいでしょう。

可能なラムダが何をするかわからないことに注意してください。したがって、ラムダは型に対して任意の関数を呼び出す可能性があるため、ダミー型で巧妙なことを行うことはできません。言い換えれば、私は 2 つのstd::void_tテストでラムダを呼び出そうintとするstd::stringことはできません。.BlaLol()intstring