C++ 中使用lambda代替 unique_ptr 的Deleter的方法

代码

#include <iostream>
#include <cstdlib>
#include <memory>
#include <string>
#include <functional>
using namespace std;
class go
{
public:
  go() {}
  ~go()
  {
    cout << "go die.\n";
  }
};
auto d = [] ( go * gp )
{
  delete gp;
  cout << "deletor done.\n";
};
class go_de
{
public:
  void operator() ( go* g )
  {
    d ( g );
  }
};
int main()
{
  {
    unique_ptr < go, go_de > b{ new go{} };//1
  }
  {
    //unique_ptr < go, decltype (d) > b{ new go{}}; complie error //2
    unique_ptr < go, decltype (d) > a{ new go{}, d };//3
  }
  {
    unique_ptr < go, function<void(go*) > > a{ new go{}, d };//4
    //i.e. unique_ptr < go, function<void(go*) > > a{ new go{}, [](go*gp) {delete gp;cout << "deletor done.\n"; }};
  }
  system ( "pause" );
  return 0;
}

描述

一般的，需要给一个模板的Concept参数时，都会像代码1的实现一样传入一个实现了该Concept的类型，例如go_de就实现了unique_ptr 的模板参数Deletor。

今天想尝试一下使用lambda表达式的类型作为模板参数传入，发现不行。原因在于

c++14 draft n4269

5.1.2 Lambda expressions

20 The closure type associated with a lambda-expression has no default constructor and a deleted copy assignment operator. It has a defaulted copy constructor and a defaulted move constructor (12.8). [ Note: These special member functions are implicitly defined as usual, and might therefore be defined as deleted. end note ]

意思就是 lambda 表达式没有默认的构造函数，operator=也被置为deleted。只有一个默认的复制构造函数和move构造函数。很显然，unique_ptr 的实现肯定是用到了Deletor Concept的默认构造函数的。所以编译不通过。这个在
unique_ptr构造函数页写的很清楚。

2) Constructs a std::unique_ptr which owns p, initializing the stored pointer with p and value-initializing the stored deleter. Requires that Deleter is DefaultConstructible and that construction does not throw an exception.2) Constructs a std::unique_ptr which owns p, initializing the stored pointer with p and value-initializing the stored deleter. Requires that Deleter is DefaultConstructible and that construction does not throw an exception.

设想unique_ptr( pointer p, d1 );构造函数不存在，那Lambda类型就没法作为Concept传入了。

总结

想用Lambda表达式的类型作为Concept，使用类型推导关键字decltype
Lambda的类型没有default constructor、copy assignment operator.
写C++库的时候，如果用到模板和Concept技术，要考虑添加Concept对象做参数的类型的构造函数从而才能不限制Lambda表达式类型作为Concept传入。

毕竟，C++语言设计的原则是尽量不限制C++语言的用户的编程方式。

以上所述是小编给大家介绍的C++ 中使用lambda代替 unique_ptr 的Deleter的方法，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对网站的支持！

# unique # ptr # deleter # c++ # lambda # C++中的Lambda函数详解 # C++11/14 线程中使用Lambda函数的方法 # 浅谈C++11新引入的lambda表达式 # C++ 中lambda表达式的编译器实现原理 # C++ 中的Lambda表达式写法 # c++ lambda捕获this 导致多线程下类释放后还在使用的错误问题 # 小编 # 实现了 # 在此 # 则是 # 给大家 # 不存在 # 只有一个 # 很清楚 # 想用 # 所述 # 会像 # 给我留言 # 感谢大家 # 不通过 # 疑问请 # 有任何 # main # unique_ptr # int # go_de

返回目录在线咨询

上一篇：建站之星微营销中的数据分析模块对运营有何帮助？
下一篇：建站之星和建站宝盒的模板设计有何不同？

您的项目需求

*请认真填写需求信息，我们会在24小时内与您取得联系。

全网整合营销服务商

C++ 中使用lambda代替 unique_ptr 的Deleter的方法

您的项目需求