c++中using的用法
1、概述
我们用到的库函数基本上都属于命名空间std的,在程序使用的过程中要显示的将这一点标示出来,如std::cout。这个方法比较烦琐,而我们都知道使用using声明则更方便更安全。
这个我们程序员肯定都知道了,今天突发奇想就想对using整理一下。
2、命令空间的using声明
我们在书写模块功能时,为了防止命名冲突会对模块取命名空间,这样子在使用时就需要指定是哪个命名空间,使用using声明,则后面使用就无须前缀了。例如:
using std::cin;//using声明,当我们使用cin时,从命名空间std中获取它int main(){int i;cin >> i;//正确:cin和std::cin含义相同cout << i;//错误:没有对应的using声明,必须使用完整的名字return 0;}12345678
需要注意的是每个名字需要独立的using声明。例如:
using std::cin;//必须每一个都有独立的using声明using std::cout; using std::endl;//写在同一行也需要独立声明12
位于头文件的代码一般来说不应该使用using声明。因为头文件的内容会拷贝到所有引用它的文件中去,如果头文件里有某个using声明,那么每个使用了该头文件的文件就都会有这个声明,有可能产生名字冲突。
3、在子类中引用基类成员
在子类中对基类成员进行声明,可恢复基类的防控级别。有三点规则:
在基类中的private成员,不能在派生类中任何地方用using声明。
在基类中的protected成员,可以在派生类中任何地方用using声明。当在public下声明时,在类定义体外部,可以用派生类对象访问该成员,但不能用基类对象访问该成员;当在protected下声明时,该成员可以被继续派生下去;当在private下声明时,对派生类定义体外部来说,该成员是派生类的私有成员。
在基类中的public成员,可以在派生类中任何地方用using声明。具体声明后的效果同基类中的protected成员。
例如:
class Base {protected: void test1() { cout << "test1" << endl; } void test1(int a) {cout << "test2" << endl; } int value = 55;}; class Derived : Base //使用默认继承{public: //using Base::test1;//using只是声明,不参与形参的指定 //using Base::value; void test2() { cout << "value is " << value << endl; }};12345678910111213141516
我们知道class的默认继承是private,这样子类中是无法访问基类成员的,即test2会编译出错。但是如果我们把上面注释的声明给放开,则没有问题。
注意:using::test1只是声明,不需要形参指定,所以test1的两个重载版本在子类中都可使用。
但是在往下派生,则只能使用无参函数,具体什么原因就不知道了…
4、使用using起别名
相当于传统的typedef起别名。
typedef std::vector<int> intvec;using intvec= std::vector<int>;//这两个写法是等价的12
这个还不是很明显的优势,在来看一个列子:
typedef void (*FP) (int, const std::string&);1
若不是特别熟悉函数指针与typedef,第一眼还是很难指出FP其实是一个别名,代表着的是一个函数指针,而指向的这个函数返回类型是void,接受参数是int, const std::string&。
using FP = void (*) (int, const std::string&);1
这样就很明显了,一看FP就是一个别名。using的写法把别名的名字强制分离到了左边,而把别名指向的放在了右边,比较清晰,可读性比较好。比如:
typedef std::string (Foo::* fooMemFnPtr) (const std::string&); using fooMemFnPtr = std::string (Foo::*) (const std::string&);123
来看一下模板别名。
template <typename T>using Vec = MyVector<T, MyAlloc<T>>; // usageVec<int> vec;12345
若使用typedef
template <typename T>typedef MyVector<T, MyAlloc<T>> Vec; // usageVec<int> vec;12345
当进行编译的时候,编译器会给出error: a typedef cannot be a template的错误信息。
那么,如果我们想要用typedef做到这一点,需要进行包装一层,如:
template <typename T>struct Vec{ typedef MyVector<T, MyAlloc<T>> type;};// usageVec<int>::type vec;12345678
正如你所看到的,这样是非常不漂亮的。而更糟糕的是,如果你想要把这样的类型用在模板类或者进行参数传递的时候,你需要使用typename强制指定这样的成员为类型,而不是说这样的::type是一个静态成员亦或者其它情况可以满足这样的语法,如:
template <typename T>class Widget{ typename Vec<T>::type vec;};12345
然而,如果是使用using语法的模板别名,你则完全避免了因为::type引起的问题,也就完全不需要typename来指定了。
template <typename T>class Widget{ Vec<T> vec;};12345
一切都会非常的自然,所以于此,模板起别名时推荐using,而非typedef。