std::is_final(C++14)

namespace std {
  template <class T>
  struct is_final;

  template <class T>
  inline constexpr bool is_final_v = is_final<T>::value; // C++17
}

概要

型にfinalが付いているかを調べる。

要件

型Tがクラス型である場合、その型は完全型でなければならない。

効果

is_finalは、型Tがfinal指定されていればtrue_typeから派生し、そうでなければfalse_typeから派生する。

「これ以上継承できない場合はtrue_type」ではなくfinal識別子の有無で判断することに注意。intのような組み込み型は、継承はできないがfalse_typeとなる。

備考

この型特性は、EBCO(empty-base-class optimization)のために使用できる。

例

#include <type_traits>

struct A {};
struct B final {};

static_assert(std::is_final<A>::value == false, "A is not a final class");
static_assert(std::is_final<B>::value == true,  "B is a final class");
static_assert(std::is_final<int>::value == false, "int is not a final class");

int main(){}

std::is_final(C++14)

概要

要件

効果

備考

例

出力

バージョン

言語

処理系

関連項目

参照