問題描述
假設我有一個 T 類型，我想檢測它是否有一個下標運算符，我可以用另一個類型 Index 調用它.以下示例工作正常:
Let's suppose I have a type T and I want to detect whether it has a subscript operator which I can call with with another type Index. The following example works just fine:
#include <type_traits>
#include <vector>
template < typename T, typename Index >
using subscript_t = decltype(std::declval<T>()[std::declval<Index>()]);
int main()
{
using a = subscript_t< std::vector<int>, size_t >;
using b = subscript_t< std::vector<int>, int >;
}
但是，我希望當且僅當函數簽名完全匹配時才能檢測到該函數.在上面的例子中，我想要語句 subscript_t<std::vector<int>, int >; 拋出類似no可靠重載運算符[]的錯誤，因為std::vector的下標運算符的簽名 是
However, I want the function to be detected if and only if the function signature matches exactly. In the example above I would like the statement subscript_t< std::vector<int>, int >; to throw an error like no viable overloaded operator[], because the signature of the subscript operator for std::vector is
std::vector<T, std::allocator<T>>::operator[](size_type pos);
其中 size_type 在 GCC 中是 unsigned long.如何避免從 int 到 size_t 的隱式轉換發生?
where size_type in GCC is unsigned long. How can I avoid the implicit conversion from int to size_t to take place?
推薦答案
With is_detected，你可以這樣做:
With is_detected, you may do:
template <typename T, typename Ret, typename Index>
using subscript_t = std::integral_constant<Ret (T::*) (Index), & T::operator[]>;
template <typename T, typename Ret, typename Index>
using has_subscript = is_detected<subscript_t, T, Ret, Index>;
static_assert(has_subscript<std::vector<int>, int&, std::size_t>::value, "!");
static_assert(!has_subscript<std::vector<int>, int&, int>::value, "!");
演示
我在 SO 文檔中寫了這個:
I wrote this in SO Documentation:
概括type_trait的創建:基于SFINAE有實驗特征detected_or、detected_t、is_detected.
To generalize type_trait creation:based on SFINAE
there are experimental traits detected_or, detected_t, is_detected.
帶模板參數typename Default，template 和 typename ... Args:
is_detected:std::true_type或std::false_type的別名，取決于Opdetected_t:Op或nonesuch的別名，取決于Op.detected_or:value_t是is_detected和type是的結構的別名Op或Default取決于Op 的有效性
is_detected: alias ofstd::true_typeorstd::false_typedepending of the validity ofOp<Args...>detected_t: alias ofOp<Args...>ornonesuchdepending of validity ofOp<Args...>.detected_or: alias of a struct withvalue_twhich isis_detected, andtypewhich isOp<Args...>orDefaultdepending of validity ofOp<Args...>
可以使用 std::void_t 為 SFINAE 實現如下:
which can be implemented using std::void_t for SFINAE as following:
namespace detail {
template <class Default, class AlwaysVoid,
template<class...> class Op, class... Args>
struct detector
{
using value_t = std::false_type;
using type = Default;
};
template <class Default, template<class...> class Op, class... Args>
struct detector<Default, std::void_t<Op<Args...>>, Op, Args...>
{
using value_t = std::true_type;
using type = Op<Args...>;
};
} // namespace detail
// special type to indicate detection failure
struct nonesuch {
nonesuch() = delete;
~nonesuch() = delete;
nonesuch(nonesuch const&) = delete;
void operator=(nonesuch const&) = delete;
};
template <template<class...> class Op, class... Args>
using is_detected =
typename detail::detector<nonesuch, void, Op, Args...>::value_t;
template <template<class...> class Op, class... Args>
using detected_t = typename detail::detector<nonesuch, void, Op, Args...>::type;
template <class Default, template<class...> class Op, class... Args>
using detected_or = detail::detector<Default, void, Op, Args...>;
然后可以簡單地實現檢測方法存在的特征:
Traits to detect presence of method can then be simply implemented:
template <typename T, typename ...Ts>
using foo_type = decltype(std::declval<T>().foo(std::declval<Ts>()...));
struct C1 {};
struct C2 {
int foo(char) const;
};
template <typename T>
using has_foo_char = is_detected<foo_type, T, char>;
static_assert(!has_foo_char<C1>::value, "Unexpected");
static_assert(has_foo_char<C2>::value, "Unexpected");
static_assert(std::is_same<int, detected_t<foo_type, C2, char>>::value,
"Unexpected");
static_assert(std::is_same<void, // Default
detected_or<void, foo_type, C1, char>>::value,
"Unexpected");
static_assert(std::is_same<int, detected_or<void, foo_type, C2, char>>::value,
"Unexpected");
這篇關于如何在檢測習語中要求精確的函數簽名?的文章就介紹到這了，希望我們推薦的答案對大家有所幫助，也希望大家多多支持html5模板網！