好还是坏:在构造函数中调用析构函数
Good or bad: Calling destructor in constructor
Break:我觉得其实不是同一个问题,另一个问题是关于手动调用析构函数的一般问题。这是在 class 本身内部的创建过程中。仍然想知道执行此操作时会发生什么,如下面的问题所述。
起初,我认为它很糟糕,真的很糟糕。只是分析这段由两个人编写的构造函数代码(见下文),需要将其转换为 Delphi object Pascal。它的行为必须与 C 版本相同。不喜欢这种风格,很丑但没关系
另一件事,在代码的两个阶段,它会在失败时调用析构函数(我想关闭连接,但是删除时会自动调用析构函数,你为什么要这样做?)。我认为这不是这样做的方法,或者确实错过了一些内在的东西?
此外,在调用析构函数后,他们想抛出一个异常(嗯?)但是我认为这将永远不会执行并在您手动想要访问它或想要删除它时导致另一个异常。
Serial::Serial(
std::string &commPortName,
int bitRate,
bool testOnStartup,
bool cycleDtrOnStartup
) {
std::wstring com_name_ws = s2ws(commPortName);
commHandle =
CreateFileW(
com_name_ws.c_str(),
GENERIC_READ | GENERIC_WRITE,
0,
NULL,
OPEN_EXISTING,
0,
NULL
);
if(commHandle == INVALID_HANDLE_VALUE)
throw("ERROR: Could not open com port");
else {
// set timeouts
COMMTIMEOUTS timeouts;
/* Blocking:
timeouts.ReadIntervalTimeout = MAXDWORD;
timeouts.ReadTotalTimeoutConstant = 0;
timeouts.ReadTotalTimeoutMultiplier = 0;
Non-blocking:
timeouts = { MAXDWORD, 0, 0, 0, 0}; */
// Non-blocking with short timeouts
timeouts.ReadIntervalTimeout = 1;
timeouts.ReadTotalTimeoutMultiplier = 1;
timeouts.ReadTotalTimeoutConstant = 1;
timeouts.WriteTotalTimeoutMultiplier = 1;
timeouts.WriteTotalTimeoutConstant = 1;
DCB dcb;
if(!SetCommTimeouts(commHandle, &timeouts)) {
Serial::~Serial(); <- Calls destructor!
throw("ERROR: Could not set com port time-outs");
}
// set DCB; disabling harware flow control; setting 1N8 mode
memset(&dcb, 0, sizeof(dcb));
dcb.DCBlength = sizeof(dcb);
dcb.BaudRate = bitRate;
dcb.fBinary = 1;
dcb.fDtrControl = DTR_CONTROL_DISABLE;
dcb.fRtsControl = RTS_CONTROL_DISABLE;
dcb.Parity = NOPARITY;
dcb.StopBits = ONESTOPBIT;
dcb.ByteSize = 8;
if(!SetCommState(commHandle, &dcb)) {
Serial::~Serial(); <- Calls destructor!
throw("ERROR: Could not set com port parameters");
}
}
if(cycleDtrOnStartup) {
if(!EscapeCommFunction(commHandle, CLRDTR))
throw("ERROR: clearing DTR");
Sleep(200);
if(!EscapeCommFunction(commHandle, SETDTR))
throw("ERROR: setting DTR");
}
if(testOnStartup) {
DWORD numWritten;
char init[] = "PJON-python init";
if(!WriteFile(commHandle, init, sizeof(init), &numWritten, NULL))
throw("writing initial data to port failed");
if(numWritten != sizeof(init))
throw("ERROR: not all test data written to port");
}
};
Serial::~Serial() {
CloseHandle(commHandle);
};
// and there is more etc .......
// .............
下一个问题,执行这段代码并调用析构函数时,内存中实际发生了什么?我无法执行和调试它。
这段代码丑陋但合法。当构造函数抛出异常时,永远不会调用相应的析构函数。因此需要在抛出之前手动调用它以防止资源泄漏。这里真正的错误是不是在抛出异常之前在其他情况下手动调用析构函数。
当然,更好的方法是使用一个单独的 RAII 对象来封装 commHandle
。具有自定义删除器的 unique_ptr
可以担任此角色。
低级库之外的任何析构函数都是现代 C++ 中的代码味道。
好吧,让我们从显而易见的事情开始:不要以这种方式编写代码。我明白了 为什么 他们这样做了 - 手动调用析构函数是在抛出异常之前进行清理的一种便捷方法,但为什么这是个坏主意?
嗯,析构函数通常只在构造函数 运行 完成时调用(所以它 不会 是 运行,在正常情况下事情的方式,如果构造函数抛出)这是故意的,因为它允许析构函数假设对象已经完全初始化。试图拆除未完全初始化的对象的任何复杂性的析构函数都可能 运行 陷入麻烦。
现在 none 这在代码 中很重要 编写的 ,因为我们这里只有一个 tinpot 析构函数,它只是关闭句柄所以,这里是代码 是否在投掷前正确清理(有时,谢谢 Eugene),我们都可以坐下来放松一下。但作为一种编程模式,它很糟糕,而且,既然你知道它实际上做了什么,你应该在将它移至 Delphi.
时对其进行整理
所以,讲完了,一些细节(排名不分先后):
- 当您手动调用析构函数时,它就像调用任何其他函数一样 - 它被执行并且 returns 并且生活继续。具体来说,对象本身不会被释放。在使用放置
new
. 时这样做很有价值
- 从上面可以看出,对
throw
的调用将 在析构函数 returns 之后执行(无论如何,无论如何)。
- 重复一遍,当构造函数抛出异常时,不会调用析构函数。然而,我相信在异常被捕获之前(如果它曾经被捕获),该对象随后将被释放。
如果你要转换的其余代码写得这么草率,我不羡慕你。无论如何构造函数都不应该失败,在一般的 运行 事情中,一旦对象启动并 运行ning.
,只需在单独的方法中打开端口
当您从构造函数中抛出时,它将调用迄今为止构造的任何对象的析构函数:成员变量和继承的 classes(第 15.2/2 节)。
- An object of any storage duration whose initialization or destruction is terminated by an exception will have destructors executed for all of its fully constructed subobjects
如果你手动调用析构函数,它们的析构函数也会被调用(第12.4/8节)。
- After executing the body of the destructor and destroying any automatic objects allocated within the body, a
destructor for class X calls the destructors for X’s direct non-variant non-static data members, the destructors
for X’s direct base classes ...
因此成员变量的析构函数会被调用两次。形式上,两次调用析构函数是未定义的行为。 (如果它们的析构函数都是空的,你可能会侥幸逃脱。)
如果你真的需要一个干净的解决方案,把需要清洗的部分包装成一个class,并使它成为一个成员变量。从它调用初始化,如果你抛出,你保证它会被清理。
您甚至可以通过申请 RAII 获得 kudo 积分。
Break:我觉得其实不是同一个问题,另一个问题是关于手动调用析构函数的一般问题。这是在 class 本身内部的创建过程中。仍然想知道执行此操作时会发生什么,如下面的问题所述。
起初,我认为它很糟糕,真的很糟糕。只是分析这段由两个人编写的构造函数代码(见下文),需要将其转换为 Delphi object Pascal。它的行为必须与 C 版本相同。不喜欢这种风格,很丑但没关系
另一件事,在代码的两个阶段,它会在失败时调用析构函数(我想关闭连接,但是删除时会自动调用析构函数,你为什么要这样做?)。我认为这不是这样做的方法,或者确实错过了一些内在的东西?
此外,在调用析构函数后,他们想抛出一个异常(嗯?)但是我认为这将永远不会执行并在您手动想要访问它或想要删除它时导致另一个异常。
Serial::Serial(
std::string &commPortName,
int bitRate,
bool testOnStartup,
bool cycleDtrOnStartup
) {
std::wstring com_name_ws = s2ws(commPortName);
commHandle =
CreateFileW(
com_name_ws.c_str(),
GENERIC_READ | GENERIC_WRITE,
0,
NULL,
OPEN_EXISTING,
0,
NULL
);
if(commHandle == INVALID_HANDLE_VALUE)
throw("ERROR: Could not open com port");
else {
// set timeouts
COMMTIMEOUTS timeouts;
/* Blocking:
timeouts.ReadIntervalTimeout = MAXDWORD;
timeouts.ReadTotalTimeoutConstant = 0;
timeouts.ReadTotalTimeoutMultiplier = 0;
Non-blocking:
timeouts = { MAXDWORD, 0, 0, 0, 0}; */
// Non-blocking with short timeouts
timeouts.ReadIntervalTimeout = 1;
timeouts.ReadTotalTimeoutMultiplier = 1;
timeouts.ReadTotalTimeoutConstant = 1;
timeouts.WriteTotalTimeoutMultiplier = 1;
timeouts.WriteTotalTimeoutConstant = 1;
DCB dcb;
if(!SetCommTimeouts(commHandle, &timeouts)) {
Serial::~Serial(); <- Calls destructor!
throw("ERROR: Could not set com port time-outs");
}
// set DCB; disabling harware flow control; setting 1N8 mode
memset(&dcb, 0, sizeof(dcb));
dcb.DCBlength = sizeof(dcb);
dcb.BaudRate = bitRate;
dcb.fBinary = 1;
dcb.fDtrControl = DTR_CONTROL_DISABLE;
dcb.fRtsControl = RTS_CONTROL_DISABLE;
dcb.Parity = NOPARITY;
dcb.StopBits = ONESTOPBIT;
dcb.ByteSize = 8;
if(!SetCommState(commHandle, &dcb)) {
Serial::~Serial(); <- Calls destructor!
throw("ERROR: Could not set com port parameters");
}
}
if(cycleDtrOnStartup) {
if(!EscapeCommFunction(commHandle, CLRDTR))
throw("ERROR: clearing DTR");
Sleep(200);
if(!EscapeCommFunction(commHandle, SETDTR))
throw("ERROR: setting DTR");
}
if(testOnStartup) {
DWORD numWritten;
char init[] = "PJON-python init";
if(!WriteFile(commHandle, init, sizeof(init), &numWritten, NULL))
throw("writing initial data to port failed");
if(numWritten != sizeof(init))
throw("ERROR: not all test data written to port");
}
};
Serial::~Serial() {
CloseHandle(commHandle);
};
// and there is more etc .......
// .............
下一个问题,执行这段代码并调用析构函数时,内存中实际发生了什么?我无法执行和调试它。
这段代码丑陋但合法。当构造函数抛出异常时,永远不会调用相应的析构函数。因此需要在抛出之前手动调用它以防止资源泄漏。这里真正的错误是不是在抛出异常之前在其他情况下手动调用析构函数。
当然,更好的方法是使用一个单独的 RAII 对象来封装 commHandle
。具有自定义删除器的 unique_ptr
可以担任此角色。
低级库之外的任何析构函数都是现代 C++ 中的代码味道。
好吧,让我们从显而易见的事情开始:不要以这种方式编写代码。我明白了 为什么 他们这样做了 - 手动调用析构函数是在抛出异常之前进行清理的一种便捷方法,但为什么这是个坏主意?
嗯,析构函数通常只在构造函数 运行 完成时调用(所以它 不会 是 运行,在正常情况下事情的方式,如果构造函数抛出)这是故意的,因为它允许析构函数假设对象已经完全初始化。试图拆除未完全初始化的对象的任何复杂性的析构函数都可能 运行 陷入麻烦。
现在 none 这在代码 中很重要 编写的 ,因为我们这里只有一个 tinpot 析构函数,它只是关闭句柄所以,这里是代码 是否在投掷前正确清理(有时,谢谢 Eugene),我们都可以坐下来放松一下。但作为一种编程模式,它很糟糕,而且,既然你知道它实际上做了什么,你应该在将它移至 Delphi.
时对其进行整理所以,讲完了,一些细节(排名不分先后):
- 当您手动调用析构函数时,它就像调用任何其他函数一样 - 它被执行并且 returns 并且生活继续。具体来说,对象本身不会被释放。在使用放置
new
. 时这样做很有价值
- 从上面可以看出,对
throw
的调用将 在析构函数 returns 之后执行(无论如何,无论如何)。 - 重复一遍,当构造函数抛出异常时,不会调用析构函数。然而,我相信在异常被捕获之前(如果它曾经被捕获),该对象随后将被释放。
如果你要转换的其余代码写得这么草率,我不羡慕你。无论如何构造函数都不应该失败,在一般的 运行 事情中,一旦对象启动并 运行ning.
,只需在单独的方法中打开端口当您从构造函数中抛出时,它将调用迄今为止构造的任何对象的析构函数:成员变量和继承的 classes(第 15.2/2 节)。
- An object of any storage duration whose initialization or destruction is terminated by an exception will have destructors executed for all of its fully constructed subobjects
如果你手动调用析构函数,它们的析构函数也会被调用(第12.4/8节)。
- After executing the body of the destructor and destroying any automatic objects allocated within the body, a destructor for class X calls the destructors for X’s direct non-variant non-static data members, the destructors for X’s direct base classes ...
因此成员变量的析构函数会被调用两次。形式上,两次调用析构函数是未定义的行为。 (如果它们的析构函数都是空的,你可能会侥幸逃脱。)
如果你真的需要一个干净的解决方案,把需要清洗的部分包装成一个class,并使它成为一个成员变量。从它调用初始化,如果你抛出,你保证它会被清理。 您甚至可以通过申请 RAII 获得 kudo 积分。