1. 程式人生 > >C++ 中 using 的使用

C++ 中 using 的使用

文章來源:http://blog.csdn.net/shift_wwx/article/details/78742459

 

前言:

今天在看vector.h的時候,碰到一個using的奇怪用法,才疏學淺之前沒有碰到過,整理一下。

來看下source code:

template<class _Ty,
	class _Alloc = allocator<_Ty>>
	class vector
		: public _Vector_alloc<_Vec_base_types<_Ty, _Alloc>>
	{	// varying size array of values
private:
	using _Mybase = _Vector_alloc<_Vec_base_types<_Ty, _Alloc>>;
	using _Alty = typename _Mybase::_Alty;
	using _Alty_traits = typename _Mybase::_Alty_traits;
 
public:
	static_assert(!_ENFORCE_MATCHING_ALLOCATORS || is_same<_Ty, typename _Alloc::value_type>::value,
		_MISMATCHED_ALLOCATOR_MESSAGE("vector<T, Allocator>", "T"));
 
	using value_type = _Ty;
	using allocator_type = _Alloc;
	using pointer = typename _Mybase::pointer;
	using const_pointer = typename _Mybase::const_pointer;
	using reference = _Ty&;
	using const_reference = const _Ty&;
	using size_type = typename _Mybase::size_type;
	using difference_type = typename _Mybase::difference_type;
	using iterator = typename _Mybase::iterator;
	using const_iterator = typename _Mybase::const_iterator;
	using reverse_iterator = _STD reverse_iterator<iterator>;
	using const_reverse_iterator = _STD reverse_iterator<const_iterator>;

下面來整理using的三種用法。


1、名稱空間的使用

一般為了程式碼的衝突,都會用名稱空間。例如,對於Android程式碼會使用Android作為名稱空間。

namespace android;

在code中使用的時候可以用android::加具體的類方法。也可以直接使用using namespace android;

具體的名稱空間使用方法不做過多說明。

2、在子類中引用基類的成員

來看下source code:

class T5Base {
public:
    T5Base() :value(55) {}
    virtual ~T5Base() {}
    void test1() { cout << "T5Base test1..." << endl; }
protected:
    int value;
};
 
class T5Derived : private T5Base {
public:
    //using T5Base::test1;
    //using T5Base::value;
    void test2() { cout << "value is " << value << endl; }
};

基類中成員變數value是protected,在private繼承之後,對於外界這個值為private,也就是說T5Derived的物件無法使用這個value。
如果想要通過物件使用,需要在public下通過using T5Base::value來引用,這樣T5Derived的物件就可以直接使用。

同樣的,對於基類中的成員函式test1(),在private繼承後變為private,T5Derived的物件同樣無法訪問,通過using T5Base::test1 就可以使用了。

注意,using只是引用,不參與形參的指定。

3、別名指定

這點就是最開始看到的source code。在C++11中提出了通過using指定別名。

例如上面source code 中:

using value_type = _Ty


以後使用value_type value; 就代表_Ty value;

這個讓我們想起了typedef,using 跟typedef有什麼區別呢?哪個更好用些呢?

例如:

typedef std::unique_ptr<std::unordered_map<std::string, std::string>> UPtrMapSS;

而C++11中:

using UPtrMapSS = std::unique_ptr<std::unordered_map<std::string, std::string>>;


或許從這個例子中,我們是看不出來明顯的好處的(而於我來說,以一個第三者的角度,這個例子也難以說服我一定要用C++11的using)。
再來看下:

typedef void (*FP) (int, const std::string&);


若不是特別熟悉函式指標與typedef的童鞋,我相信第一眼還是很難指出FP其實是一個別名,代表著的是一個函式指標,而指向的這個函式返回型別是void,接受引數是int, const std::string&。那麼,讓我們換做C++11的寫法:

using FP = void (*) (int, const std::string&);


我想,即使第一次讀到這樣程式碼,並且知道C++11 using的童鞋也能很容易知道FP是一個別名,using的寫法把別名的名字強制分離到了左邊,而把別名指向的放在了右邊,比較清晰。


而針對這樣的例子,我想我可以再補充一個例子:

typedef std::string (Foo::* fooMemFnPtr) (const std::string&);
using fooMemFnPtr = std::string (Foo::*) (const std::string&);


從可讀性來看,using也是要好於typedef的。

那麼,若是從可讀性的理由支援using,力度也是稍微不足的。來看第二個理由,那就是舉出了一個typedef做不到,而using可以做到的例子:alias templates, 模板別名。

template <typename T>
using Vec = MyVector<T, MyAlloc<T>>;

// usage
Vec<int> vec;

這一切都會非常的自然。

那麼,若你使用typedef來做這一切:

template <typename T>
typedef MyVector<T, MyAlloc<T>> Vec;
 
// usage
Vec<int> vec;


當你使用編譯器編譯的時候,將會得到類似:error: a typedef cannot be a template的錯誤資訊。

那麼,為什麼typedef不可以呢?在 n1449 中提到過這樣的話:"we specifically avoid the term “typedef template” and introduce the new syntax involving the pair “using” and “=” to help avoid confusion: we are not defining any types here, we are introducing a synonym (i.e. alias) for an abstraction of a type-id (i.e. type expression) involving template parameters." 所以,我認為這其實是標準委員會他們的觀點與選擇,在C++11中,也是完全鼓勵用using,而不用typedef的。

具體的可以看下Effective Modern C++

 

參考:

https://zhuanlan.zhihu.com/p/21264013