std::experimental::is_detected, std::experimental::detected_t, std::experimental::detected_or

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

ライブラリ基本 v2

experimental::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

detection idiom

統一的なコンテナ要素の削除

論理演算子型特性

 

ヘッダ <experimental/type_traits> で定義
template< template<class...> class Op, class... Args > using is_detected = /* 以下を参照 */;		(Library Fundamentals TS v2)
template< template<class...> class Op, class... Args > using detected_t = /* 以下を参照 */;		(Library Fundamentals TS v2)
template< class Default, template<class...> class Op, class... Args > using detected_or = /* 以下を参照 */;		(Library Fundamentals TS v2)

エイリアステンプレート detected_or は、2つの公開メンバ typedef value_t と type を持つ未規定のクラス型へのエイリアスであり、それらは以下のように定義される。

• もしテンプレートID Op<Args...> が有効な型を表す場合、value_t は std::true_type へのエイリアスとなり、type は Op<Args...> へのエイリアスとなる。
• そうでなければ、value_t は std::false_type へのエイリアスとなり、type は Default へのエイリアスとなる。

エイリアステンプレート is_detected は typename detected_or<std::experimental::nonesuch, Op, Args...>::value_t と等価である。これは、テンプレートID Op<Args...> が有効な型を表す場合は std::true_type へのエイリアスとなり、そうでなければ std::false_type へのエイリアスとなる。

エイリアステンプレート detected_t は typename detected_or<std::experimental::nonesuch, Op, Args...>::type と等価である。これは、そのテンプレートIDが有効な型を表す場合は Op<Args...> へのエイリアスとなり、そうでなければクラス std::experimental::nonesuch へのエイリアスとなる。

追加のユーティリティ

template< template<class...> class Op, class... Args > constexpr bool is_detected_v = is_detected<Op, Args...>::value;		(Library Fundamentals TS v2)
template< template<class...> class Op, class... Args > constexpr inline bool is_detected_v = is_detected<Op, Args...>::value;		(ライブラリ基本TS v3)
template< class Default, template<class...> class Op, class... Args > using detected_or_t = typename detected_or<Default, Op, Args...>::type;		(Library Fundamentals TS v2)
template< class Expected, template<class...> class Op, class... Args > using is_detected_exact = std::is_same<Expected, detected_t<Op, Args...>>;		(Library Fundamentals TS v2)
template< class Expected, template<class...> class Op, class... Args > constexpr bool is_detected_exact_v =     is_detected_exact<Expected, Op, Args...>::value;		(Library Fundamentals TS v2)
template< class Expected, template<class...> class Op, class... Args > constexpr inline bool is_detected_exact_v =     is_detected_exact<Expected, Op, Args...>::value;		(ライブラリ基本TS v3)
template< class To, template<class...> class Op, class... Args > using is_detected_convertible =     std::is_convertible<detected_t<Op, Args...>, To>;		(Library Fundamentals TS v2)
template< class To, template<class...> class Op, class... Args > constexpr bool is_detected_convertible_v =     is_detected_convertible<To, Op, Args...>::value;		(Library Fundamentals TS v2)
template< class To, template<class...> class Op, class... Args > constexpr inline bool is_detected_convertible_v =     is_detected_convertible<To, Op, Args...>::value;		(ライブラリ基本TS v3)

エイリアステンプレート is_detected_exact は detected_t<Op, Args...> が Expected と正確に同じ型であるかをチェックする。

エイリアステンプレート is_detected_convertible は detected_t<Op, Args...> が To へ変換可能であるかをチェックする。

実装例

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
 
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...>;

例

このコードを実行

#include <cstddef>
#include <experimental/type_traits>
 
template<class T>
using copy_assign_t = decltype(std::declval<T&>() = std::declval<const T&>());
 
struct Meow {};
struct Purr { void operator=(const Purr&) = delete; };
 
static_assert(std::experimental::is_detected<copy_assign_t, Meow>::value,
              "Meow should be copy assignable!");
static_assert(!std::experimental::is_detected_v<copy_assign_t, Purr>,
              "Purr should not be copy assignable!");
static_assert(std::experimental::is_detected_exact_v<Meow&, copy_assign_t, Meow>,
              "Copy assignment of Meow should return Meow&!");
 
template<class T>
using diff_t = typename T::difference_type;
 
template<class Ptr>
using difference_type = std::experimental::detected_or_t<std::ptrdiff_t, diff_t, Ptr>;
 
struct Woof { using difference_type = int; };
struct Bark {};
 
static_assert(std::is_same<difference_type<Woof>, int>::value,
              "Woof's difference_type should be int!");
static_assert(std::is_same<difference_type<Bark>, std::ptrdiff_t>::value,
              "Bark's difference_type should be ptrdiff_t!");
 
int main() {}