static_assertとstd :: is_invocableのベストを得る

Question

std::is_integralに応じていくつかのタイプしか受け付けない関数オブジェクトを持つライブラリがあります。私は条件が失敗したときにstd::is_invocableをfalseに返すようにしたいが、ユーザーが関数オブジェクトのインスタンスを呼び出そうとしたときにもエラーメッセージstatic_assertが欲しい。このような実装では

struct function 
{ 
    template<typename Iterator> 
    auto operator()(Iterator first, Iterator last) const 
     -> std::enable_if_t<std::is_integral_v< 
      typename std::iterator_traits<Iterator>::value_type 
     >> 
    { /* something */ } 
}; 

SFINAE条件が満たされないときstd::is_invocableは予想通りstd::false_typeですが、彼らは呼び出ししようとすると、ユーザーが醜いSFINAEエラーメッセージが発生します。ここに私は現在持っている関数オブジェクトの簡略化した例でありますSFINAE条件を満たさないパラメータを持つ関数オブジェクト。

この実装では

struct function 
{ 
    template<typename Iterator> 
    auto operator()(Iterator first, Iterator last) const 
     -> void 
    { 
     static_assert(std::is_integral_v<typename std::iterator_traits<Iterator>::value_type>, 
         "function can only be called with a collection of integers"); 

     /* something */ 
    } 
}; 

、ユーザーがオリジナルのSFINAE条件が満たされていないフレンドリーエラーメッセージを得るが、かどうかを尋ねられたときstd::is_invocableはstd::true_typeです：

より良いエラーメッセージを取得するには、私の代わりに、以下のソリューションを試してみましたfunctionインスタンスは、std::is_integralを満たさないタイプを処理できます。

私はいくつかのトリックやdecltype(auto)を含むバリエーション、if constexprや他のメカニズムを試してみましたが、エラーメッセージが素晴らしく、どこfunctionが正しくないタイプで呼び出すことができるかどうかを尋ねるときstd::is_invocableが期待std::false_typeに対応したクラスを取得できませんでした。

私はここで何が欠けていますか？ std::is_invocableとユーザーフレンドリーなエラーメッセージの両方を得る方法はありますか？

Answer 1

ここに1つのひどい方法があります。オーバーロードを追加：contrained関数テンプレートは、より専門的で好ましいので、

template <typename Iterator> 
auto operator()(Iterator first, Iterator last) const 
    -> std::enable_if_t<std::is_integral_v< 
     typename std::iterator_traits<Iterator>::value_type 
    >>; 

template <typename Iterator, class... Args> 
void operator()(Iterator, Iterator, Args&&...) const = delete; // must be integral 

これは、is_invocable<>条件を満たして - それは削除されます他、その条件が満たされた場合、この関数は呼び出し可能です。

あなたはそれを呼び出すようにしようとした場合、あなたが得るので、これは、エラーの場合には少し良くない：

foo.cxx: In function ‘int main()’: 
foo.cxx:31:13: error: use of deleted function ‘void function::operator()(Iterator, Iterator, Args&& ...) const [with Iterator = std::__cxx11::basic_string<char>*; Args = {}]’ 
    f(&i, &i); 
      ^
foo.cxx:19:10: note: declared here 
    void operator()(Iterator, Iterator, Args&&...) const = delete; // must be integral 
      ^~~~~~~~ 

コメントはソートの静的アサートのようなものですエラーメッセージ、に表示メッセージ？

---

これは、実際にはConceptsの動機の1つです。 requires代わりのenable_ifで、我々が得る：

だ

foo.cxx: In function ‘int main()’: 
foo.cxx:26:13: error: no match for call to ‘(function) (std::__cxx11::string*, std::__cxx11::string*)’ 
    f(&i, &i); 
      ^
foo.cxx:11:10: note: candidate: void function::operator()(Iterator, Iterator) const requires is_integral_v<typename std::iterator_traits<_Iter>::value_type> [with Iterator = std::__cxx11::basic_string<char>*] 
    void operator()(Iterator first, Iterator last) const 
      ^~~~~~~~ 
foo.cxx:11:10: note: constraints not satisfied 
foo.cxx:11:10: note: ‘is_integral_v<typename std::iterator_traits<_Iter>::value_type>’ evaluated to false 

...少し良く私は推測します。