std:: is_scalar

std::is_scalar は UnaryTypeTrait です。

T が scalar type である場合、メンバー定数 value を true に設定します。それ以外の型の場合、 value は false となります。

プログラムが std::is_scalar または std::is_scalar_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

注記

C++メモリモデルにおける個々のメモリ位置（言語機能で使用される隠れたメモリ位置、例えば仮想関数テーブルポインタなども含む）は、すべてスカラ型を持ちます（あるいは非ゼロ長の隣接するビットフィールドのシーケンスです）。式評価における副作用の順序付け、スレッド間同期、および依存関係の順序付けは、すべて個々のスカラオブジェクトに関して定義されます。

実装例

template<class T>
struct is_scalar : std::integral_constant<bool, std::is_arithmetic<T>::value
                                             || std::is_enum<T>::value
                                             || std::is_pointer<T>::value
                                             || std::is_member_pointer<T>::value
                                             || std::is_null_pointer<T>::value>
{};

例

#include <iostream>
#include <type_traits>
#include <typeinfo>
#include <utility>
template<typename Head, typename... Tail>
void are_scalars(Head&& head, Tail&&... tail)
{
    using T = std::decay_t<decltype(head)>;
    std::cout << typeid(T).name() << " is "
              << (std::is_scalar_v<T> ? "" : "not ")
              << "a scalar\n";
    if constexpr (sizeof... (Tail))
    {
        are_scalars(std::forward<decltype(tail)>(tail)...);
    }
}
int main()
{
    struct S { int m; } s;
    int S::* mp = &S::m;
    enum class E { e };
    are_scalars(42, 3.14, E::e, "str", mp, nullptr, s);
}

int is a scalar
double is a scalar
main::E is a scalar
char const* is a scalar
int main::S::* is a scalar
nullptr is a scalar
main::S is not a scalar

関連項目