clang-tools-extra/clang-tidy/utils/TypeTraits.h

   1 //===--- TypeTraits.h - clang-tidy-------------------------------*- C++ -*-===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_UTILS_TYPETRAITS_H
  10 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_UTILS_TYPETRAITS_H
  11
  12 #include "clang/AST/ASTContext.h"
  13 #include "clang/AST/Type.h"
  14 #include <optional>
  15
  16 namespace clang::tidy::utils::type_traits {
  17
  18 /// Returns `true` if `Type` is expensive to copy.
  19 std::optional<bool> isExpensiveToCopy(QualType Type, const ASTContext &Context);
  20
  21 /// Returns `true` if `Type` is trivially default constructible.
  22 bool isTriviallyDefaultConstructible(QualType Type, const ASTContext &Context);
  23
  24 /// Returns `true` if `RecordDecl` is trivially default constructible.
  25 bool recordIsTriviallyDefaultConstructible(const RecordDecl &RecordDecl,
  26                                            const ASTContext &Context);
  27
  28 /// Returns `true` if `Type` is trivially destructible.
  29 bool isTriviallyDestructible(QualType Type);
  30
  31 /// Returns true if `Type` has a non-trivial move constructor.
  32 bool hasNonTrivialMoveConstructor(QualType Type);
  33
  34 /// Return true if `Type` has a non-trivial move assignment operator.
  35 bool hasNonTrivialMoveAssignment(QualType Type);
  36
  37 } // namespace clang::tidy::utils::type_traits
  38
  39 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_UTILS_TYPETRAITS_H