C++11 delete 更优于私有化声明

最新推荐文章于 2024-08-03 10:03:09 发布

原创最新推荐文章于 2024-08-03 10:03:09 发布 · 1.3k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #开发语言 #后端

Effectivve Modern Cpp 专栏收录该内容

25 篇文章

订阅专栏

本文探讨了C++11中delete关键字的应用，对比了C++98中使用private未定义方法的问题，并介绍了delete如何在编译阶段阻止错误发生。此外还讨论了delete在普通函数、模板和类成员中的使用。

                    
C++11 delete

简介

delete声明的函数也会参与匹配,但是编译阶段就明确此类型的函数已被删除.

delete的错误可以在编译阶段发现.

回顾C++98

声明为private且不定义. 链接 阶段才能发现.

delete解决的问题

C++编译器

默认为类创建: 无参构造,析构,拷贝,赋值四个函数.

冲突的就是: 拷贝赋值这两个函数.

c++98

通过private私有声明并不定义以此达到目的.但是只能链接阶段才能检测到错误.

代码是先编译,再链接,而链接是最后一步,最后一步才发现可能会过很久,特别是大型的项目编译.

c++11

C++98的手段在C++11中被加强错误识别时间,编译阶段就可以识别出来.

所以建议采用C++11而不是C++98.

隐式转换

类型之间的隐式转换也会导致不匹配的类型转换调用。
可以通过声明一个对应类型的声明,然后标记为delete就可以规避.

不过之类比较麻烦.

隐式案例

void cool(int) {}
void cool(bool) = delete;

int main() {
   cool(1);
   cool(false);
}

后面的会失败.

两种版本的编译

[root@localhost test]# g++ -c test.cpp -std=c++98
[root@localhost test]# gcc test.o
test.o: In function `main':
test.cpp:(.text+0x1d): undefined reference to `cool(bool)'
collect2: error: ld returned 1 exit status
[root@localhost test]# cat test.cpp
void cool(int) {}
void cool(bool);

int main() {
   cool(1);
   cool(false);
}
[root@localhost test]# vim test.cpp
[root@localhost test]# g++ -c test.cpp -std=c++11
test.cpp: In function ‘int main()’:
test.cpp:6:15: error: use of deleted function ‘void cool(bool)’
    cool(false);
              ^
test.cpp:2:6: error: declared here
void cool(bool) = delete;
     ^
[root@localhost test]# cat test.cpp
void cool(int) {}
void cool(bool) = delete;

int main() {
   cool(1);
   cool(false);
}

编译阶段发现错误.

差异

C++11

public中声明函数,并标记为delete.

private则会先检测权限再检测是否delete,得到错误信息.

C++98

私有不定义,在链接阶段才能发现问题. 太迟了.

私有拷贝或者赋值对于友元或者成员中可能用到. 仍然只能在链接阶段才发现.

delete的强大

强大之处

什么函数都可以delete. 普通函数,模板,类等等,几乎所有.

全局函数delete

void cool(int) {}
void cool(bool) = delete;

int main() {
   cool(1);
   cool(false);
}

这里的案例不严谨,可能还有const,volatile之类的修饰会影响,但这里仅仅是个案例.

禁止模板实例化

template <typename T>
void show(T a) {}

template<>
void show<bool>(bool) = delete;
int main() {
   show(1);
   show(false);
}

show(bool)不能被实例化.

这里的案例也不是很完善,虽然也可能是const,volatile之类的.

类成员

class T {
public:
template <typename T>
void show(T a) {}
template<>
void show<bool>(bool) = delete;
};

int main() {
   T a;
   a.show(1);
   a.show(false);
}

编译报错,编译器不允许在类中特例化.

只能在全局或者命名空间里面.

C++11标准版

class T {
public:
template <typename T>
void show(T a) {}
};
template<>
void T::show<bool>(bool) = delete;

int main() {
   T a;
   a.show(1);
   a.show(false);
}

还是报错,不允许bool类型的特例化.

总结

C++98的private声明不定义是可以,但是链接阶段才能发现.

C++11的public中delete则在编译阶段即可.

delete支持禁止普通函数,模板函数,的实例化.更加强大.