快捷導(dǎo)航

C++中std::is_object的具體使用

更新時(shí)間：2024年01月16日 15:13:55 作者：十五年專(zhuān)注C++開(kāi)發(fā)

std::is_object是一種C++類(lèi)型特性,其用途是判斷一個(gè)類(lèi)型是否是一個(gè)對(duì)象類(lèi)型,本文主要介紹了C++中std::is_object的具體使用,感興趣的可以了解一下

1.概述

std::is_object是一種C++類(lèi)型特性，其用途是判斷一個(gè)類(lèi)型是否是一個(gè)對(duì)象類(lèi)型(除了函數(shù)、引用和void類(lèi)型)。如下例子：

#include <iostream>
#include <type_traits>

class A {};

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_object:" << std::endl;
  std::cout << "int: " << std::is_object<int>::value << std::endl; //輸出：true
  std::cout << "A: " << std::is_object<A>::value << std::endl;  //輸出：true
  std::cout << "A&: " << std::is_object<A&>::value << std::endl; //輸出：false
  std::cout << "A*: " << std::is_object<A*>::value << std::endl; //輸出：true
  std::cout << "int(int): " << std::is_object<int(int)>::value << std::endl; //輸出：false
  std::cout << "int(*)(int): " << std::is_object<int(*)(int)>::value << std::endl; //輸出：        
                                                                                   //  true
  return 0;
}

2.原理分析

2.1.std::is_object

std::is_object的源碼如下：

template <class _Ty>
constexpr bool is_object_v = !is_function_V<_Ty> && !is_reference_v<_Ty> && !is_void_v<_Ty>;

template <class _Ty>
struct is_object : bool_constant<is_object_v<_Ty>> {};

is_function_v<T> : 判斷是否檢查 T 是否為函數(shù)類(lèi)型。如 std::function 、 lambda 、有重載 operator() 的類(lèi)和指向函數(shù)指針不是函數(shù)類(lèi)型。若 T 為函數(shù)類(lèi)型，則提供等于 true 的成員常量 value 。否則， value 等于 false，示例如下：

#include <type_traits> 
using namespace std; 
  
struct GeeksforGeeks { 
    int func() const&; 
}; 
  
template <typename> 
struct Computer { 
}; 
  
template <class A, class B> 
struct Computer<B A::*> { 
    using member_type = B; 
}; 
  
int x1(); 
  
int main() 
{ 
    cout << is_function<int(int)>::value << endl; //輸出：true
    cout << is_function<GeeksforGeeks>::value << endl; //輸出：false
    cout << is_function<int>::value << endl;   //輸出：false
    cout << is_function<decltype(x1)>::value << endl;  //輸出：true
  
    using A = Computer<decltype( 
        &GeeksforGeeks::func)>::member_type; 
    cout << is_function<A>::value << endl;   //輸出：true
  
    return 0; 
}

is_reference_v<T> : 若 T 是引用類(lèi)型（左值引用或右值引用），則提供等于 true 的成員常量 value 。對(duì)于任何其他類(lèi)型， value 為 false；示例如下：

#include <iostream>
#include <type_traits>
using namespace std;
class MyTest {
};
int main() {
   cout << "\n class TP : "<<is_reference<MyTest>::value; //輸出：false
   cout << "\n class TP&: "<<is_reference<MyTest&>::value; //輸出：true
   cout << "\n class TP&&: "<<is_reference<MyTest&&>::value; //輸出：true
   return 0;
}

is_void_v<T> : ?檢查 T 是否為 void 類(lèi)型。若 T 是類(lèi)型 void 、 const void 、 volatile void 或 const volatile void ，則提供等于 true 的成員常量 value。否則， value 等于 false; 示例如下：

#include <iostream>
#include <type_traits>
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << std::is_void<void>::value << '\n'; //輸出：true
    std::cout << std::is_void<int>::value << '\n';  //輸出：false
}

2.2.bool_constant

bool_constant是integral_constant<bool, _Val>的別名，從下面的定義可以看出：

template <bool _Val>
using bool_constant = integral_constant<bool, _Val>;

using true_type  = bool_constant<true>;
using false_type = bool_constant<false>;

那么integral_constant的定義呢？繼續(xù)看下面：

template <class _Ty, _Ty _Val>
struct integral_constant {
    static constexpr _Ty value = _Val;

    using value_type = _Ty;
    using type       = integral_constant;

    constexpr operator value_type() const noexcept {
        return value;
    }

    _NODISCARD constexpr value_type operator()() const noexcept {
        return value;
    }
};

std::integral_constant包裝特定類(lèi)型的靜態(tài)常量，它是C++類(lèi)型特征的基類(lèi)。我們可以看到，這個(gè)模板類(lèi)接受兩個(gè)參數(shù)，一個(gè)類(lèi)型_Ty和一個(gè)該類(lèi)型的值_Val。它提供了一個(gè)靜態(tài)的常量成員value，該成員的值就是傳入的_Val；其中，using value_type = _Ty;和using type = integral_constant;分別用來(lái)定義value的類(lèi)型以及integral_constant本身的類(lèi)型。

然后，它還提供了兩個(gè)轉(zhuǎn)換函數(shù)，一個(gè)是constexpr operator value_type() const noexcept，可以將std::integral_constant對(duì)象隱式轉(zhuǎn)換為T(mén)類(lèi)型的值；另一個(gè)是constexpr value_type operator()() const noexcept，可以將std::integral_constant對(duì)象當(dāng)作函數(shù)來(lái)調(diào)用，并返回其內(nèi)部保存的常量。

std::integral_constant 的兩個(gè)最常用的特化版本是 std::true_type 和 std::false_type。它們是 std::integral_constant<bool, value> 的特化版本，其中 std::true_type 是 std::integral_constant<bool, true>，std::false_type 是 std::integral_constant<bool, false>。這兩種類(lèi)型的主要用途是表示編譯期的布爾值。在模板元編程中，它們常被用來(lái)代表一種編譯期的"是"和"否"，從而允許我們進(jìn)行編譯期的條件判斷。同時(shí)，由于它們都是類(lèi)型，因此也可以作為類(lèi)型標(biāo)簽來(lái)使用，幫助我們?cè)谀０逶幊讨袀鬟f信息。

通過(guò)這樣的設(shè)計(jì)，std::integral_constant能夠讓我們?cè)诰幾g期間就能確定某些值，從而提高代碼的效率。同時(shí)，因?yàn)樗酥殿?lèi)型的信息，我們還可以根據(jù)這個(gè)信息進(jìn)行編程，提高代碼的靈活性。

通過(guò)上述的解釋和分析，我們可以很清楚的理解了std::is_object的含義了。

3.使用

std::is_object主要用于元編程中的類(lèi)型檢查，以便在編譯時(shí)確定某個(gè)類(lèi)型是否符合限制條件。使用方法也比較簡(jiǎn)單，只需在代碼中調(diào)用std::is_object<>模板，并傳入要檢查的類(lèi)型名，即可獲得該類(lèi)型是否為對(duì)象類(lèi)型的結(jié)果。示例如下：

template <typename T>
void calc(){
    static_assert(std::is_object<T>::value, "T must be an object type.");
    //...
}
class MyTest{};

int main(){
    calc<int>();
    MyTest x;
    func<decltype(x)>();
    calc<int&>(); //compile error
    return 0;
}

上述代碼中，定義了一個(gè)模板函數(shù)calc，該函數(shù)要求其參數(shù)類(lèi)型必須是對(duì)象類(lèi)型。在模板函數(shù)中使用了std::is_object<>模板，來(lái)檢查模板參數(shù)類(lèi)型是否為對(duì)象類(lèi)型。如果不是，將會(huì)拋出一個(gè)編譯器錯(cuò)誤。這樣，就能夠在編譯期間檢測(cè)到錯(cuò)誤的使用，減少運(yùn)行時(shí)錯(cuò)誤的概率。

使用注意：1）std::is_object判斷的是類(lèi)型是否為對(duì)象類(lèi)型，而非是否為類(lèi)類(lèi)型或枚舉類(lèi)型。 2）使用std::is_object模板時(shí)，需要注意傳入的類(lèi)型名中不要包含已刪除的引用和cv限定符。示例如下：

#include<iostream>
#include<type_traits>

struct MyStruct{};
enum  class MyEnum{A,B};

int main(){
    std::cout << std::is_object<MyStruct>::value << std::endl; //true
    std::cout << std::is_object<MyEnum>::value << std::endl; //true
    std::cout << std::is_object<int>::value << std::endl; //true
    std::cout << std::is_object<const int>::value << std::endl; //true
    std::cout << std::is_object<const int&>::value << std::endl; //false
    std::cout << std::is_object<const volatile int>::value << std::endl; //true
    return 0;
}

4.總結(jié)

std::is_object是一個(gè)用于元編程的C++類(lèi)型特性，用于判斷一個(gè)類(lèi)型是否是對(duì)象類(lèi)型。只需在代碼中調(diào)用std::is_object<>模板，并傳入要檢查的類(lèi)型名，即可判斷該類(lèi)型是否為對(duì)象類(lèi)型。在編寫(xiě)代碼時(shí)，需要注意std::is_object判斷的是類(lèi)型是否為對(duì)象類(lèi)型，而不是類(lèi)類(lèi)型或枚舉類(lèi)型。同時(shí)，在使用std::is_object模板進(jìn)行類(lèi)型檢查時(shí)，需要注意傳入的類(lèi)型名中不要包含已刪除的引用和cv限定符。通過(guò)合理使用std::is_object模板，可以在編譯期間檢測(cè)到錯(cuò)誤的使用，減少運(yùn)行時(shí)錯(cuò)誤的概率，提高代碼穩(wěn)定性。

到此這篇關(guān)于C++中std::is_object的具體使用的文章就介紹到這了,更多相關(guān)C++ std::is_object內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: