clang-tools 20.0.0git
TypeTraits.h
Go to the documentation of this file.
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
17
18/// Returns `true` if `Type` is expensive to copy.
19std::optional<bool> isExpensiveToCopy(QualType Type, const ASTContext &Context);
20
21/// Returns `true` if `Type` is trivially default constructible.
22bool isTriviallyDefaultConstructible(QualType Type, const ASTContext &Context);
23
24/// Returns `true` if `RecordDecl` is trivially default constructible.
25bool recordIsTriviallyDefaultConstructible(const RecordDecl &RecordDecl,
26 const ASTContext &Context);
27
28/// Returns `true` if `Type` is trivially destructible.
29bool isTriviallyDestructible(QualType Type);
30
31/// Returns true if `Type` has a non-trivial move constructor.
33
34/// Return true if `Type` has a non-trivial move assignment operator.
36
37} // namespace clang::tidy::utils::type_traits
38
39#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_UTILS_TYPETRAITS_H
NodeType Type
bool isTriviallyDefaultConstructible(QualType Type, const ASTContext &Context)
Returns true if Type is trivially default constructible.
Definition: TypeTraits.cpp:90
bool recordIsTriviallyDefaultConstructible(const RecordDecl &RecordDecl, const ASTContext &Context)
Returns true if RecordDecl is trivially default constructible.
Definition: TypeTraits.cpp:49
std::optional< bool > isExpensiveToCopy(QualType Type, const ASTContext &Context)
Returns true if Type is expensive to copy.
Definition: TypeTraits.cpp:39
bool hasNonTrivialMoveAssignment(QualType Type)
Return true if Type has a non-trivial move assignment operator.
Definition: TypeTraits.cpp:156
bool hasNonTrivialMoveConstructor(QualType Type)
Returns true if Type has a non-trivial move constructor.
Definition: TypeTraits.cpp:150
bool isTriviallyDestructible(QualType Type)
Returns true if Type is trivially destructible.
Definition: TypeTraits.cpp:137