快捷導(dǎo)航

C++返回值類(lèi)型后置實(shí)現(xiàn)(跟蹤返回值類(lèi)型)

更新時(shí)間：2021年08月18日 10:30:12 投稿：zx

本文主要介紹了C++返回值類(lèi)型后置實(shí)現(xiàn)，文中通過(guò)示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下

在泛型編程中，可能需要通過(guò)參數(shù)的運(yùn)算來(lái)得到返回值的類(lèi)型。考慮下面這個(gè)場(chǎng)景：

template <typename R, typename T, typename U>
R add(T t, U u)
{
    return t+u;
}
int a = 1; float b = 2.0;
auto c = add<decltype(a + b)>(a, b);

我們并不關(guān)心 a+b 的類(lèi)型是什么，因此，只需要通過(guò) decltype(a+b) 直接得到返回值類(lèi)型即可。但是像上面這樣使用十分不方便，因?yàn)橥獠科鋵?shí)并不知道參數(shù)之間應(yīng)該如何運(yùn)算，只有 add 函數(shù)才知道返回值應(yīng)當(dāng)如何推導(dǎo)。

那么，在 add 函數(shù)的定義上能不能直接通過(guò) decltype 拿到返回值呢？
template <typename T, typename U>
decltype(t + u) add(T t, U u) // error: t、u尚未定義
{
return t + u;
}
當(dāng)然，直接像上面這樣寫(xiě)是編譯不過(guò)的。因?yàn)?t、u 在參數(shù)列表中，而 C++ 的返回值是前置語(yǔ)法，在返回值定義的時(shí)候參數(shù)變量還不存在。

可行的寫(xiě)法如下：

template <typename T, typename U>
decltype(T() + U()) add(T t, U u)
{
    return t + u;
}

考慮到 T、U 可能是沒(méi)有無(wú)參構(gòu)造函數(shù)的類(lèi)，正確的寫(xiě)法應(yīng)該是這樣：

template <typename T, typename U>
decltype((*(T*)0) + (*(U*)0)) add(T t, U u)
{
    return t + u;
}

雖然成功地使用 decltype 完成了返回值的推導(dǎo)，但寫(xiě)法過(guò)于晦澀，會(huì)大大增加 decltype 在返回值類(lèi)型推導(dǎo)上的使用難度并降低代碼的可讀性。

因此，在 C++11 中增加了返回類(lèi)型后置（trailing-return-type，又稱(chēng)跟蹤返回類(lèi)型）語(yǔ)法，將 decltype 和 auto 結(jié)合起來(lái)完成返回值類(lèi)型的推導(dǎo)。

返回類(lèi)型后置語(yǔ)法是通過(guò) auto 和 decltype 結(jié)合起來(lái)使用的。上面的 add 函數(shù)，使用新的語(yǔ)法可以寫(xiě)成：

template <typename T, typename U>
auto add(T t, U u) -> decltype(t + u)
{
    return t + u;
}

為了進(jìn)一步說(shuō)明這個(gè)語(yǔ)法，再看另一個(gè)例子：

int& foo(int& i);
float foo(float& f);
template <typename T>
auto func(T& val) -> decltype(foo(val))
{
    return foo(val);
}

如果說(shuō)前一個(gè)例子中的 add 使用 C++98/03 的返回值寫(xiě)法還勉強(qiáng)可以完成，那么這個(gè)例子對(duì)于 C++ 而言就是不可能完成的任務(wù)了。

在這個(gè)例子中，使用 decltype 結(jié)合返回值后置語(yǔ)法很容易推導(dǎo)出了 foo(val) 可能出現(xiàn)的返回值類(lèi)型，并將其用到了 func 上。

返回值類(lèi)型后置語(yǔ)法，是為了解決函數(shù)返回值類(lèi)型依賴(lài)于參數(shù)而導(dǎo)致難以確定返回值類(lèi)型的問(wèn)題。有了這種語(yǔ)法以后，對(duì)返回值類(lèi)型的推導(dǎo)就可以用清晰的方式（直接通過(guò)參數(shù)做運(yùn)算）描述出來(lái)，而不需要像 C++98/03 那樣使用晦澀難懂的寫(xiě)法。

到此這篇關(guān)于C++返回值類(lèi)型后置實(shí)現(xiàn)(跟蹤返回值類(lèi)型)的文章就介紹到這了,更多相關(guān)C++返回值類(lèi)型后置實(shí)現(xiàn)(跟蹤返回值類(lèi)型)內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

您可能感興趣的文章: