快捷導(dǎo)航

詳解C++?轉(zhuǎn)換的非正式分類

更新時(shí)間：2022年01月20日 15:32:06 作者：mkckr0

C++?正式分類方法是直接按語(yǔ)法分類，分為：隱式轉(zhuǎn)換和顯示轉(zhuǎn)換。這篇文章主要介紹了C++?轉(zhuǎn)換的非正式分類,需要的朋友可以參考下

C++ 正式分類方法是直接按語(yǔ)法分類，分為：隱式轉(zhuǎn)換和顯示轉(zhuǎn)換。隱式轉(zhuǎn)換又稱為標(biāo)準(zhǔn)轉(zhuǎn)換。顯示轉(zhuǎn)換又分為：C 風(fēng)格轉(zhuǎn)換、函數(shù)風(fēng)格轉(zhuǎn)換、C++ 風(fēng)格轉(zhuǎn)換。C++風(fēng)格轉(zhuǎn)換就是 static_cast、dynamic_cast、const_cast 和 reinterpret_cast 這 4 種。

有很長(zhǎng)一段時(shí)間我都有這樣的疑問(wèn)：轉(zhuǎn)換前的對(duì)象和轉(zhuǎn)換后的對(duì)象是不是同一個(gè)？

現(xiàn)在，我引入一種非正式分類方法，分為：同對(duì)象轉(zhuǎn)換和異對(duì)象轉(zhuǎn)換。這兩個(gè)術(shù)語(yǔ)是我自己編的，只是為了方便說(shuō)明問(wèn)題。

同對(duì)象轉(zhuǎn)換：轉(zhuǎn)換后的對(duì)象和轉(zhuǎn)換前的對(duì)象是同一個(gè)，也就是不會(huì)構(gòu)造一個(gè)新的對(duì)象，還是使用原來(lái)的對(duì)象。
異對(duì)象轉(zhuǎn)換：轉(zhuǎn)換后的對(duì)象和轉(zhuǎn)換前的對(duì)象不是同一個(gè)，也就是會(huì)構(gòu)造一個(gè)新的的對(duì)象。

下面分別說(shuō)明這兩種轉(zhuǎn)換的典型情況。

一、同對(duì)象轉(zhuǎn)換

所有的值類別轉(zhuǎn)換及其變形都是同對(duì)象轉(zhuǎn)換。

1. 值類別轉(zhuǎn)換

C++ 的值類別可以使用 static_cast 進(jìn)行轉(zhuǎn)換，屬于同對(duì)象轉(zhuǎn)換。注意：static_cast<T&>() 和 static_cast<T&&>() 的語(yǔ)義不是將一個(gè)對(duì)象轉(zhuǎn)換為一個(gè)引用，而是轉(zhuǎn)換對(duì)象的值類別，使其能被對(duì)應(yīng)的引用綁定。

// 左值轉(zhuǎn)換為左值
int a = 1;
static_cast<int&>(a) = 2;
std::cout << a << std::endl;
// 輸出：2

// 左值轉(zhuǎn)換為右值
int a = 1;
int&& b = static_cast<int&&>(a);
b = 2;
std::cout << a << std::endl;
// 輸出：2

// 右值轉(zhuǎn)換為右值，轉(zhuǎn)換前對(duì)象為非字面量
int a = 1;
int&& b = static_cast<int&&>(static_cast<int&&>(a));
b = 2;
std::cout << a << std::endl;
// 輸出：2

2. 借助值類別轉(zhuǎn)換進(jìn)行 OOP 轉(zhuǎn)換

這種情況帶有值類別轉(zhuǎn)換，屬于同對(duì)象轉(zhuǎn)換。

// upcast
struct A
{
    int x = 1;
};

struct B : A
{
};

B b;
static_cast<A&>(b).x = 2;
std::cout << b.x << std::endl;
// 輸出：2

// downcast
struct A
{
    int x = 1;
};

struct B : A
{
};

B b;
static_cast<B&>(static_cast<A&>(b)).x = 2;
std::cout << b.x << std::endl;
// 輸出：2

// sidecast
struct A1
{
    virtual void f1() {}
    int x = 1;
};

struct A2
{
    virtual void f2() {}
    int y = 1;
};

struct B : A1, A2
{
};

B b;
dynamic_cast<A2&>(static_cast<A1&>(b)).y = 2;
std::cout << b.y << std::endl;
// 輸出：2

2. 借助值類別轉(zhuǎn)換進(jìn)行 const_cast 轉(zhuǎn)換

這種情況帶有值類別轉(zhuǎn)換，也是同對(duì)象轉(zhuǎn)換。注意：通過(guò) const_cast 修改原本為 const 的對(duì)象是未定義行為。

struct A
{
    int x = 1;
};

{
    int a;
    const_cast<int&>(const_cast<const int&>(a)) = 2;
    std::cout << a << std::endl;
}
{
    A a;
    const_cast<A&>(const_cast<const A&>(a)).x = 2;
    std::cout << a.x << std::endl;
}
/* 輸出：
2
2
*/

二、異對(duì)象轉(zhuǎn)換

所有的非值類別轉(zhuǎn)換都是異對(duì)象轉(zhuǎn)換。

1. 普通的類型轉(zhuǎn)換

// 標(biāo)量類型
int a = 1;
int&& b = static_cast<int>(a);
b = 2;
std::cout << a << std::endl;
// 輸出：1

// 類類型
struct A
{
    A() {
        std::cout << "A::A() " << x << std::endl;
    }
    A(const A&) {
        std::cout << "A::A(const A&) " << x << std::endl;
    }
    ~A() {
        std::cout << "A::~A() " << x << std::endl;
    }
    int x = 1;
};

A a;
A&& b = static_cast<A>(a);
b.x = 2;
std::cout << b.x << std::endl;
/* 輸出：
A::A() 1
A::A(const A&) 1
2
A::~A() 2
A::~A() 1
*/

2. 指針轉(zhuǎn)換

轉(zhuǎn)換之后，指針本身是異對(duì)象，指針?biāo)傅膶?duì)象是同對(duì)象。這種情況也包含：借助指針進(jìn)行 OOP 轉(zhuǎn)換，借助指針進(jìn)行 const_cast 轉(zhuǎn)換。

int* a = new int;
std::cout << a << std::endl;
int* && r = static_cast<int*>(a);
r = nullptr;
std::cout << a << std::endl;
/* 輸出：
0x1ffdeb0 0x1ffdeb0
*/

到此這篇關(guān)于C++ 轉(zhuǎn)換的非正式分類的文章就介紹到這了,更多相關(guān)C++ 轉(zhuǎn)換非正式分類內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: