std::is_move_constructible, std::is_trivially_move_constructible, std::is_nothrow_move_constructible
De cppreference.com
|
|
This page has been machine-translated from the English version of the wiki using Google Translate.
The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here. |
<metanoindex/>
<tbody> </tbody>| Déclaré dans l'en-tête <type_traits>
|
||
template< class T > struct is_move_constructible; |
(1) | (depuis C++11) |
template< class T > struct is_trivially_move_constructible; |
(2) | (depuis C++11) |
template< class T > struct is_nothrow_move_constructible; |
(3) | (depuis C++11) |
1)
Vérifie si un type est
MoveConstructible, c'est à dire a un constructeur déménagement accessibles explicite ou implicite. Si la condition est remplie, un membre constant value true égalité est fourni, sinon value est false .Original:
Checks whether a type is
MoveConstructible, i.e. has an accessible explicit or implicit move constructor. If the requirement is met, a member constant value equal true is provided, otherwise value is false.The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
You can help to correct and verify the translation. Click here for instructions.
2)
Identique à 1), mais l'expression constructeur mouvement n'appelle pas une opération qui n'est pas anodin .
Original:
Same as 1), but the move constructor expression does not call any operation that is not trivial.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
You can help to correct and verify the translation. Click here for instructions.
3)
Identique à 1), mais l'expression constructeur mouvement est noexcept .
Original:
Same as 1), but the move constructor expression is noexcept.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
You can help to correct and verify the translation. Click here for instructions.
Inherited from std::integral_constant
Member constants
value [ statique ]Original: static The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. |
true si T is move-constructible , false autrement Original: true if T is move-constructible , false otherwise The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (constante membre statique publique) |
Member functions
operator bool |
convertit l'objet en bool, retourne value Original: converts the object to bool, returns value The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (fonction membre publique) |
Member types
Type d'
Original: Type The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. |
Definition |
value_type
|
bool
|
type
|
std::integral_constant<bool, value>
|
Notes
Déplacer les constructeurs sont généralement noexcept, sinon ils sont inutilisables dans n'importe quel code qui offre une garantie forte exception .
Original:
Move constructors are usually noexcept, since otherwise they are unusable in any code that provides strong exception guarantee.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
You can help to correct and verify the translation. Click here for instructions.
Mise en œuvre possible
template<class T>
struct is_move_constructible :
std::is_constructible<T, typename std::add_rvalue_reference<T>::type> {};
template<class T>
struct is_trivially_move_constructible :
std::is_trivially_constructible<T, typename std::add_rvalue_reference<T>::type> {};
template<class T>
struct is_nothrow_move_constructible :
std::is_nothrow_constructible<T, typename std::add_rvalue_reference<T>::type> {};
|
Exemple
#include <iostream>
#include <type_traits>
struct Ex1 {
std::string str; // member has a non-trivial but non-throwing move ctor
};
struct Ex2 {
int n;
Ex2(Ex2&&) = default; // trivial and non-throwing
};
int main() {
std::cout << std::boolalpha << "Ex1 is move-constructible? "
<< std::is_move_constructible<Ex1>::value << '\n'
<< "Ex1 is trivially move-constructible? "
<< std::is_trivially_move_constructible<Ex1>::value << '\n'
<< "Ex1 is nothrow move-constructible? "
<< std::is_nothrow_move_constructible<Ex1>::value << '\n'
<< "Ex2 is trivially move-constructible? "
<< std::is_trivially_move_constructible<Ex2>::value << '\n'
<< "Ex2 is nothrow move-constructible? "
<< std::is_nothrow_move_constructible<Ex2>::value << '\n';
}
Résultat :
Ex1 is move-constructible? true
Ex1 is trivially move-constructible? false
Ex1 is nothrow move-constructible? true
Ex2 is trivially move-constructible? true
Ex2 is nothrow move-constructible? true
Voir aussi
(C++11) (C++11) (C++11) |
vérifie si un type a un constructeur pour les arguments spécifiques Original: checks if a type has a constructor for specific arguments The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (classe générique) |
(C++11) (C++11) (C++11) |
vérifie si un type a un constructeur par défaut Original: checks if a type has a default constructor The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (classe générique) |
(C++11) (C++11) (C++11) |
vérifie si un type a un constructeur de copie Original: checks if a type has a copy constructor The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (classe générique) |
(C++11) |
obtient une référence rvalue si le constructeur mouvement ne jette pas Original: obtains an rvalue reference if the move constructor does not throw The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (fonction générique) |