c++隱式型別轉換存在的問題解析

2022-03-01 10:00:56

什麼是隱式轉換：

c++中的基本型別並非完全對立，部分型別之間是可以進行隱式轉換的，所謂隱式轉換，是指不需要使用者干預，編譯器私下進行的型別轉換行為，很多時候使用者都不知道具體進行了哪些轉換

為什麼要進行隱式轉換：

隱式轉換可以讓程式設計師在兩個不同型別的資料直接進行操作，而不用自行轉換型別，隱式轉換給程式開發者帶來了不小的便捷

隱式轉換的原則：

基本資料型別的轉換以取值範圍作為轉換基礎（保證精度不丟失）
隱式轉換髮生在從小 ——> 大的轉換中。如char轉換為int，int轉換成double

目的碼

旨在弄懂下面的程式碼，明確變數a1,a2,a3在建立時編譯器究竟幹了那些事：

#include<iostream>
using namespace std;
class A{
public:
    int x;
    A() {cout<<"A()"<<endl;}
    A(int i) : x(i){cout<<"A(int i)"<<endl;}
    A(const A &ra) : x(ra.x) 
    	{cout<<"A(const A&)"<<endl;}
    void operator=(const A&){cout<<"operator="<<endl;}
};
int main(){
    cout<<"the assignment of a1 : "<<endl;
    A a1;
    a1 = 2;
    cout<<"the copy initialization of a2 : "<<endl;
    A a2 = 2;
    cout<<"the direct initialization of a3 :"<<endl;
    A a3(a1);
    return 0;
}

執行結果：

建構函式定義的隱式型別轉換

任何只接受一個引數的建構函式，都隱式地定義了由該引數向該型別的隱式型別轉換

如A(int i)定義了一個由int向A的隱式型別轉換

所以，在任何使用A物件的地方，可以用一個int代替，此時，int會轉換為一個A型別臨時變數

如對a1變數的賦值操作：

A a1;   //宣告a1，a1被預設初始化
a1 = 2; //2轉換為A型別的臨時變數，對a1進行賦值操作

對於隱式型別轉換，需要注意兩點：

隱式型別轉換只允許一步轉換

class B{
public:
    string B_s;
    B() = default;
    B(string s) : B_s(s){};
};
int main(){
    B b1,b2;
    //錯誤：char*->string->B，進行了兩步轉換
    b1 = "hello"; 
    b2 = string("hello");
    return 0;
}

接受隱式型別轉換得到的物件的函數，引數傳遞方式必須是const參照傳遞

因為c++中，一般不修改臨時物件，所以臨時物件只能傳遞給const參照。

分析a1

A a1:

a1進行預設初始化，呼叫預設建構函式A()

a1 = 2

字面量2隱式轉換為A型別的臨時物件
該臨時物件通過拷貝運運算元operator=拷貝給a1
因為是臨時物件，所以operator=必須接受const參照，否則造成編譯錯誤

分析a2

A a2 = 2

字面量2隱式轉換為A型別的臨時物件
用臨時物件來拷貝初始化a2，呼叫拷貝建構函式A(const A&)，相當於A a2(A(2))
因為是臨時物件，所以拷貝建構函式A(const A&)必須接受const參照，否則造成編譯錯誤

特別注意

編譯器會將A a2(A(2))優化為A a2(2)

所以程式輸出“A(int i)”，而不是“A(const A&)”

但是底層仍然呼叫了A(const A&)，所以如果把A(const A&)改為A(A&),會造成編譯錯誤 error: cannot bind non-const lvalue reference of type 'A&' to an rvalue of type 'A'

這提示我們，在編寫c++程式時，如果不改變物件的值，那麼習慣性地採用const參照會避免許多難解的編譯錯誤

分析a3

用a1直接初始化a3,呼叫A(const A&)

到此這篇關於c++隱式型別轉換存在的陷阱的文章就介紹到這了,更多相關c++隱式型別轉換內容請搜尋it145.com以前的文章或繼續瀏覽下面的相關文章希望大家以後多多支援it145.com！