为什么std::function构造函数和赋值函数有区别？
std::function是C++标准库中的一个函数对象封装类，用于存储和调用任意可调用对象（函数、函数指针、成员函数指针等）。它的构造函数和赋值函数之所以有区别，是因为它们在实现上有不同的目的和行为。
构造函数用于创建std::function对象，并将其与一个可调用对象绑定。它可以接受多种类型的可调用对象作为参数，包括函数指针、函数对象、成员函数指针等。构造函数会根据传入的可调用对象类型进行类型擦除，将其存储在std::function对象内部，以便后续调用。
赋值函数用于将一个std::function对象赋值给另一个std::function对象。它的作用是将右操作数的可调用对象复制到左操作数中，使得左操作数也能调用相同的可调用对象。赋值函数会先销毁左操作数中原有的可调用对象（如果存在），然后将右操作数的可调用对象复制到左操作数中。
构造函数和赋值函数之所以有区别，是因为它们在处理可调用对象的复制和销毁时有不同的行为。构造函数会直接将可调用对象复制到std::function对象内部，而赋值函数则需要先销毁左操作数中原有的可调用对象，再将右操作数的可调用对象复制进去。这是因为赋值函数需要确保左操作数中原有的可调用对象被正确销毁，以避免资源泄漏和悬空指针等问题。
总结起来，std::function的构造函数和赋值函数有区别是因为它们在处理可调用对象的复制和销毁时有不同的行为。构造函数用于创建std::function对象并绑定可调用对象，而赋值函数用于将一个std::function对象赋值给另一个std::function对象。
相关·内容
类Foo有一个右值引用构造函数来移动unique_ptr的包含向量，那么为什么下面的代码在main中的Foo()上使用或不使用std::move时都会出现以下错误
error C2280: 'std::unique_ptr<SomeThing,std::default_delete<_Ty>> &std::unique_ptr<_Ty,std::default_delete<_Ty>>::operator =(const std::unique_ptr<_Ty,std::default_delete<_Ty>&g
浏览 1提问于2015-07-15得票数 1
这方面的机制在这里有很好的解释：，但是我想更好地理解为什么它是这样的。我理解，即使程序员编写了任何其他构造函数，也不会生成move构造函数，因为这表明对象的构造是不简单的，自动生成的构造函数可能是错误的。那么，为什么与复制构造函数具有相同签名的模板构造函数不简单地命名为复制构造函数？
示例：
class Person {
public:
template<typename T>
Person(T&& t) : s(std::forward<T>(t)) {
std::cout << __PRETTY_FUNCTION
浏览 5提问于2017-03-01得票数 4
回答已采纳
2回答
函数DataContainer.initial()触发C2280错误。在定义移动赋值运算符之后，它可以工作。但我不清楚为什么在函数initial_2()中它会工作。明显的区别是data_a是局部变量，data_b是类成员。谢谢你的帮助。
#include <vector>
#include <iostream>
class DataTypeA
{
std::vector<double> data;
public:
// default constructor
DataTypeA() {}
// Move construct
浏览 10提问于2022-10-17得票数 1
回答已采纳
我正在尝试在clang++(clang version3.1(主干143100))中使用libstdc++(4.6.1)中的std::shared_ptr。我有一个小的演示程序：
#include <memory>
int main()
{
std::shared_ptr<int> some(new int);
std::shared_ptr<int> other(some);
return 0;
}
它可以使用以下命令构建：
clang++ -std=c++0x -o main main.cpp
并给出以下错误输出：
main.c
浏览 0提问于2011-11-01得票数 12
回答已采纳
考虑以下代码：
#include<iostream>
#include<vector>
using namespace std;
class Foo {
public:
template< typename T>
operator vector< T >() const {
return vector< T >();
}
template< typename T>
operator T() const {
return T();
}
};
int main () {
Fo
浏览 0提问于2012-10-25得票数 1
回答已采纳
为什么不这样：(vs2010)在类中移动向量？
#include <vector>
class MoveTest
{
public:
std::vector<int> m_things;
};
int _tmain(int argc, _TCHAR* argv[])
{
MoveTest m;
m.m_things.push_back(12);
MoveTest m2 = std::move(m);
// std::vector has been copied, not moved
return 0;
}
这是否意
浏览 0提问于2011-05-12得票数 3
回答已采纳
2回答
我阅读了以下关于rvalue引用的文章
但有些事情我不明白。
这是我使用的代码：
#include <iostream>
template <typename T>
class PointerHolder
{
public:
// 1
explicit PointerHolder(T* t) : ptr(t)
{
std::cout << "default constructor" << std::endl;
}
// 2
PointerHolder(const
浏览 3提问于2014-04-18得票数 1
回答已采纳
这段代码
#include <memory>
#include <vector>
class Foo
{
public:
~Foo()
{
}
std::unique_ptr<int> bar;
};
int main()
{
std::vector<Foo> foos;
foos.emplace_back();
}
在g++中产生以下错误消息：
In file included from /usr/include/c++/4.8/memory:64:0,
f
浏览 0提问于2015-03-06得票数 3
回答已采纳
考虑以下代码：
#include <iostream>
#include <type_traits>
struct type {};
int main(int argc, char* argv[]) {
std::cout << std::is_convertible_v<volatile int, int> << " ";
std::cout << std::is_convertible_v<volatile int, volatile int> << "
浏览 0提问于2020-07-03得票数 4
回答已采纳
1回答
用pimpl成语移动操作
、、、
在下面的代码中，我试图在PIMPL成语中使用移动分配，但是代码没有编译。
struct.hpp：
#pragma once
#include <memory>
struct A {
std::unique_ptr<struct B> m_x;
A(int x);
~A();
};
struct.cpp：
#include "struct.hpp"
struct B {
int x;
};
A::A(int x) : m_x{new B} { m_x->x = x; }
A::~A() = default;
main.cpp：
浏览 8提问于2021-08-01得票数 0
回答已采纳
每当我试图编译这个代码时，：
union foo {
std::string dunno;
} bar;
它给了我一堆错误。怎么了？：
_foo.cpp:6:3: error: use of deleted function 'foo::foo()'
} bar;
^
_foo.cpp:4:7: note: 'foo::foo()' is implicitly deleted because the default definition would be ill-formed:
union foo {
^
_foo.cpp:5:1
浏览 1提问于2015-01-21得票数 0
3回答
OOP (即C程序员转换为C++)有点陌生，无法理解为什么我背包类中的数据成员是空的。我将一系列药剂传递给我的背包，但是数据成员说的是mType = "“(即没有)。
我从来没有在节目中感觉到这一点。开始讨厌OOP (即kidding...but这种极其令人沮丧的)。
main.cpp
#include <iostream>
#include "rogue.h"
#include "weapon.h"
#include "backpack.h"
#include "potion.h"
#include "
浏览 3提问于2013-04-11得票数 0
4回答
两者之间有什么区别吗？
std::string s1("foo");
和
std::string s2 = "foo";
浏览 0提问于2010-02-03得票数 21
回答已采纳
2回答
我有以下示例代码。类bar从基类foo派生，为ptr_x分配内存，同时通过基类授予读/写访问权限。这是一个大型代码的玩具模型，其中读/写函数对于对象的所有不同变体都是相同的，但内存分配在不同变体中略有不同。
#include <iostream>
class foo{
protected:
int *ptr_x;
public:
foo(){
std::cout << " 1) Inside foo constructor: " << ptr_x << std::endl;
}
浏览 0提问于2012-02-17得票数 1
回答已采纳
我有一个类A，它在构造/复制/移动时输出消息。
class A
{
public:
A(std::string s)
:s_(s)
{
std::cout << "A constructed\n";
}
~A()
{
std::cout << "A destructed\n";
}
A(const A& a)
:s_(a.s_)
{
std::cout << "A co
浏览 6提问于2014-11-19得票数 13
回答已采纳
1回答
包含易失性结构的联合
、、、、
这似乎与类似，但有点相反。
#include <iostream>
struct A
{
int a;
};
union U
{
volatile A a;
long b;
};
int main()
{
U u1;
U u2;
u1.a.a = 12;
u2 = u1;
std::cout << u2.a.a << std::endl;
return 0;
}
g++ 4.8.3编译这段代码时没有出错，并正确运行：
$ g++ -std=c++03 a.cpp -o a_gc
浏览 3提问于2015-02-05得票数 6
5回答
优化迭代器定义
、、、
这是一个(希望如此)非常简单的问题--最近有人告诉我，使用C++风格的初始化比传统的(更常见的)赋值更好。
所以这段代码：
std::SomeSTLContainer::const_iterator it = container.begin();
std::SomeSTLContainer::const_iterator itEnd = container.end();
会比“慢”或效率低：
std::SomeSTLContainer::const_iterator it ( container.begin() );
std::SomeSTLContainer::const_iterator
浏览 17提问于2009-02-09得票数 2
回答已采纳
3回答
考虑到以下代码，实体对象是不可移动的.我知道std::move( Obj )刚刚将Obj转换成一个rvalue引用Obj。我还知道rvalue引用变量仍然是一个lvalue对象。但我仍然不明白为什么语句auto temp = std::move(a)可以调用复制构造函数，而语句a = std::move(b);可以调用复制赋值操作符。既然，std::move(a)是一个rvalue引用，为什么它仍然可以调用lvalue构造函数。
#include <iostream>
template<typename T>
void my_swap(T& a, T&
浏览 8提问于2022-05-03得票数 1
回答已采纳
2回答
隐式定义和显式声明的默认/复制构造函数的区别是什么？显式声明
struct road{
std::string id;
std::string type;
std::vector<int> nodes;
road() = default;
road(const & road c_road) = default;
road(road && m_road);
};
隐式定义
struct road{
std::string id;
std::string type;
std::vec
浏览 7提问于2017-12-31得票数 2
回答已采纳
显示，std::shared_ptr有一个模板化和非模板化的复制/移动构造函数版本(页面上有(9)和(10) )。类似地，它还有两个版本的复制/移动赋值操作符(参见)。
为什么我们需要非模板版本？单凭模板版还不够吗？
浏览 2提问于2016-07-23得票数 2
回答已采纳
int function1(string data){
stringstream ss(data);
return function2(ss);
}
int function2(stringstream& ss){
string val;
getline(ss,val,',');
return stoi(val);
}
如果我将function2更改为
int function2(stringstream ss){...}
它不起作用。我想知道为什么？
浏览 2提问于2016-07-14得票数 1
我有一份工会宣言，很简单：
union VariableType
{
bool Bool;
int64_t Int;
double Double;
std::string* String;
};
在我的头文件中，我在一些复杂的数据类型中使用这个联合，如下所示：
extern std::map<std::string, std::tuple<uint8_t, VariableType, VariableType>> PredefinedVariables;
extern std::map<std::string, std::pair&
浏览 6提问于2017-06-07得票数 0
回答已采纳
我有2个代码与赋值运算符和复制构造函数和相同的驱动程序代码。但两者给出的输出是不同的。
代码1：
//constructor, copy constructor, assignment operator and destructor
#include <iostream>
using namespace std;
class A
{
int a;
int *b;
public:
//constructor
A()
{
a=0;
b = new int;
}
//Copy constr
浏览 4提问于2021-11-09得票数 0
我有以下错误：
filesystem.hpp:11:7: error: use of deleted function ‘std::mutex& std::mutex::operator=(const std::mutex&)’
In file included from /usr/include/c++/6.1.1/mutex:44:0,
from includes.hpp:11,
from htmlparser.hpp:4,
from htmlparser.cpp:1:
/
浏览 3提问于2016-05-18得票数 1
回答已采纳
使用构建的代码如下：
#include <iostream>
#include <type_traits>
#include <tuple>
int main() {
std::cout << std::is_trivially_copyable<std::tuple<int>>::value << std::endl;
std::cout << std::is_trivially_copyable<std::pair<int, int>>::value &
浏览 4提问于2016-08-05得票数 14
回答已采纳
4回答
最近，我重新访问了复制构造函数、赋值操作符、复制交换数据列表( )和其他许多地方-
上面的链接是一个很好的帖子--但是我还有一些问题--这些问题在很多地方、堆叠溢出和许多其他网站上都得到了回答，但我没有看到太多的一致性--
1-您是否应该在复制构造函数中为深度副本分配新内存的区域周围设置try-catch？(我从两方面都看到了)
2-关于复制构造函数和赋值操作符的继承，什么时候应该调用基类函数，以及何时这些函数应该是虚拟的？
3- std::copy是复制构造函数中内存的最佳方法吗？我和memcpy一起看过，也见过其他人说memcpy是地球上最糟糕的东西。
考虑下面的例子(谢谢您的反馈)，
浏览 1提问于2012-06-26得票数 6
回答已采纳
class Foo { int a; int b; int c; std::wstring d; std::vector<char*> e };
假设std::vector有一个大字符串(~512字节)和~512字节，其用例如下：
void Test()
{
Foo foo;
DoSomething(std::move(foo)); // DoSomething will stuff it in a long-lived queue
}
从本质上讲，我希望RAII对象的生命周期发生变化。
这是我实现移动构造函数和赋值操作符的时候吗？或者只做std::move(..)
浏览 0提问于2016-10-05得票数 1
我在编译我编写的代码时遇到了一些问题，它有一个带有重载=的自定义类。
rnumber.hpp：
#include <string>
class rnumber {
public:
std::string number;
// I added this constructor in an edit
rnumber(std::string s) { number = s; }
void operator=(std::string s) { number = s; }
bool operator==(std::string s) { return number
浏览 7提问于2022-10-20得票数 0
回答已采纳
1回答
这不编译
#include <utility>
struct S {
int x;
S& operator=(const S& o) = delete;
// Uncomment this to compile
//S& operator=(S&& o) = default;
};
int main() {
S s1, s2;
s1.x = 0;
s2.x = 101;
// Following 2 lines do not compile
s1 = std::move(s2);
s1 =
浏览 3提问于2017-12-24得票数 2
回答已采纳
2回答
不可能的隐式移动操作？
、、、、
就我所理解的和而言，以下代码中的struct A不应该是可移动的，也不应该是可移动的：
#include <type_traits>
struct X {
X() noexcept; // user-declared default constructor
~X() noexcept; // Force X not to be trivially copyable
X(X &&) = delete; // Explicitly deleted move constructor
X(X const &) = delete; // Expli
浏览 3提问于2017-01-30得票数 3
回答已采纳
我注意到，当包含类型包含unique_ptr时，不可能删除向量的元素。
例如，这个类：
class Bar
{
std::unique_ptr<int> pointerTest;
Bar(Bar &bar) {};
public:
Bar() { pointerTest = std::unique_ptr<int>(new int); }
Bar(Bar &&bar) { this->pointerTest = move(bar.pointerTest);
浏览 6提问于2013-11-22得票数 3
回答已采纳
首先，我的代码如下：
struct A {
A(int size);
~A();
A(A&& other);
A& operator=(const A& other);
uint8_t* data = nullptr;
};
A::A(int size)
{
data = new uint8_t[size];
}
A::~A()
{
delete [] data;
data = nullptr;
}
A::A(TPixel &&other)
{
data = other.data;
}
A&
浏览 20提问于2019-03-12得票数 0
回答已采纳
1回答
复制构造函数知识
、、
我读过的大多数关于复制构造函数实现的帖子都是，你还必须重载赋值操作符。我不明白为什么这是真的。我可以在不重载任何操作符的情况下实现一个复制构造函数，它工作得很好。你能解释一下我遗漏了什么或者为什么我需要遵循这个协议吗？
以下是一些基本代码，它们的工作方式与我预期的一样：
//
// Event.h
// PointerPractice
//
#ifndef PointerPractice_Event_h
#define PointerPractice_Event_h
#include <string>
class Event{
public:
Event()
浏览 0提问于2012-03-12得票数 2
回答已采纳
最近，我在上读到了关于C++中惰性数据结构的文章(这个问题并不是关于懒惰，也不是关于特定的数据结构--这只是动机)。
延迟流(list)的实现如下：
template<class T>
class Stream
{
private:
std::shared_ptr <Susp<Cell<T>>> _lazyCell;
public:
Stream() {}
Stream(std::function<Cell<T>()> f)
: _lazyCell(std::make_shared&
浏览 6提问于2016-09-23得票数 0
回答已采纳
2回答
我正在编写一个代码来测试赋值操作符和复制构造函数的使用。守则如下：
#include <iostream>
#include <algorithm>
using namespace std;
class fun {
int i;
public:
fun():i(1) {i=1;cout<<"in: cons\n";}
~fun() {cout<<"in: des\n";}
fun& operator=(fun b) {
浏览 2提问于2013-05-04得票数 0
回答已采纳
1回答
在我的类中，我有两个向量对象：
std::vector<std::string> vecteur_noms_A_;
std::vector<std::string> vecteur_noms_B_;
我还有以下功能：
std::vector<std::string> & get_vecteur_noms_A_() {
return vecteur_noms_A_;
}
但我没有为B one提供相同的功能！
当我实例化我的类，并在我的类构造函数中执行以下指令时，我可以看到(通过调试或当它抛出错误时)：
vecteur_noms_A
浏览 3提问于2018-09-03得票数 0
2回答
问题：
下面的初始化有区别吗？
(A)第二个究竟在做什么？
(B)其中一种是否比另一种更有效？
int variable = 0;
int variable = int();
此问题也适用于其他数据类型，如std::string：
std::string variable = "";
std::string variable = std::string();
背景：
当我试图清空一个字符串流时，我基本上得到了 (可接受的答案的第二个代码示例)。当我开始学习课程时，我还必须开始使用它，并意识到成员变量初始化必须在构造函数中完成，而不仅仅是在标头中遵循其定义。例如，初始化一个向量：
浏览 1提问于2015-08-29得票数 0
2回答
创建一个“UnusualClass”类，其中直接初始化和复制初始化在整个过程中都会产生不同的效果。特别是，直接初始化或复制初始化的尝试应该在屏幕上产生打印“直接初始化”或“复制初始化”。
#include <iostream>
class UnusualClass{
public:
UnusualClass(const int &n){
std::cout<<"Copy initialization";
}
UnusualClass &operator=(const int &n){
浏览 2提问于2022-05-28得票数 1
回答已采纳
std::copy是一种更通用的方法，因为它可以处理具有不同值类型的容器(例如，从std::vector<float>复制到std::vector::<double>)。但是，当两个容器的值类型相同时，是否使用复制构造函数而不是std::copy是否重要？
浏览 7提问于2014-11-04得票数 10
回答已采纳
3回答
为什么下面的代码不能工作：
#include <iostream>
class Entity
{
public:
/*
Entity()
{
std::cout << "Create Entity with default constructor" << std::endl;
}
*/
Entity(int x)
{
std::cout << "Create Entity with " << x <<
浏览 26提问于2020-05-20得票数 0
1回答
我试图创建一个执行搜索的线程向量。这是我的SearchThread课上的重要内容。
class SearchThread {
explicit SearchThread(int t_id) {
id = t_id;
run = true;
thread = std::jthread([&]{
while(run){
{
std::unique_lock lock(mtx);
浏览 0提问于2021-08-15得票数 3
回答已采纳
1回答
我无法理解何时调用移动构造函数或移动赋值操作符，尤其是在具有常量数据成员的类的上下文中。考虑一下这门课
template<typename T> class A {
const*T const P ; // constant data member
explicit A(const*T p) : P(p) { std::cerr<<" ctor: P="<<P<<'\n'; }
void test() const { std::cerr" test: P="<<P<
浏览 4提问于2012-11-26得票数 6
回答已采纳
3回答
在从当前的中阅读有关的内容时，我可以看到以下内容：
12.8复制和移动类对象
如果类X的定义没有显式声明移动构造函数，则将隐式声明为defaulted当且仅当
-X没有用户声明的复制构造函数，
-X没有用户声明的副本赋值操作符，
-x没有用户声明的移动赋值运算符，以及
-x没有用户声明的析构函数。
注意:当未隐式声明或显式提供移动构造函数时，否则会调用移动构造函数的表达式可能会调用副本构造函数。-尾注
我认为注释部分明确提到默认移动构造函数的回退将是复制构造函数。为了理解这个概念，我编写了一个小程序来理解这个概念。
#include<iostream>
struct han
浏览 6提问于2014-10-07得票数 1
回答已采纳
这是MRE。
struct SDL_Renderer {};
struct Renderer
{
Renderer(SDL_Renderer* renderer) : pRenderer{ renderer } {}
Renderer& operator=(Renderer&& other)
{
pRenderer = other.pRenderer;
other.pRenderer = nullptr;
return *this;
}
SDL_Renderer* pRender
浏览 1提问于2021-07-28得票数 0
回答已采纳
3回答
代码中使用的这两种代码之间的区别是什么，就像我使用过的一样。(第44行广告第45行都很好)
节选：
Date temp = *this; //ASSIGNMENT OPERATOR CALL(PROVIDED BY COMPILER)
//Date temp(*this); //COPY CONSTRUCTOR CALL(PROVIDED BY COMPILER)
My via ：在分配过程中，是否object1 = object2；object2的内容被删除并放置在object1中，而如果通过复制构造函数发生相同的事情，object2的内容仍然保留(我的意思是“复制”这个词的意思)。
注意
浏览 1提问于2011-08-09得票数 0
回答已采纳
我试着遵循下面的代码，它只打印false。
class A
{
virtual void func() {}
};
std::cout << std::is_trivially_copyable_v<A>;
为什么虚拟功能会影响复制？虚拟表指针可以简单地复制。
浏览 6提问于2020-07-02得票数 0
回答已采纳
我想知道为什么委员会决定在定义析构函数时隐式删除移动构造函数。
#include <iostream>
#include <vector>
#include <memory>
struct A {
~A(){};
std::unique_ptr<int> a;
};
int main()
{
A a;
A b = std::move(a);
}
对于“不默认移动成员”这一规则，有什么专题用例是合理的吗？
浏览 2提问于2018-04-24得票数 2
回答已采纳
执行后，Goomba::liveGoombas等于某个负值。我对它进行了调试，但不明白为什么它会多次启动析构函数。为什么它在这里不能正常工作？
// Here is a simple Goomba class. It just keeps track of how many Goombas are alive.
class Goomba
{
public:
static int liveGoombas;
Goomba() { liveGoombas++; }
~Goomba() { liveGoombas--; }
};
int Goomba::liveGoombas = 0
浏览 0提问于2015-06-28得票数 2
我有一个简单的程序不编译
#include <future>
class Foo
{
public:
~Foo();
std::future<int> f;
};
Foo getFoo()
{
return Foo();
}
int main()
{
Foo b = getFoo();
}
我想这是有道理的。Foo不可复制，因为future不可复制。
In function 'Foo getFoo()':
13:16: error: use of deleted function 'Foo::Foo(con
浏览 0提问于2020-02-01得票数 1
回答已采纳
Demo1和Demo2在下面的代码中有区别吗？
#include <iostream>
class Base {};
class Demo1 : public Base {
public:
Demo1() : instance_variable(5) {
}
int instance_variable;
};
class Demo2 : public Base {
public:
Demo2() {
this->instance_variable = 5;
}
int instance_variabl
浏览 4提问于2016-09-10得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
