使用抛出异常的构造函数初始化对象的正确方法

Question

这似乎是一个微不足道的问题，但我已经坚持了几个小时（也许太多的 Java 杀死了我的 C++ 脑细胞）。

我创建了一个具有以下构造函数的类（即没有默认构造函数）

VACaptureSource::VACaptureSource( std::string inputType, std::string inputLocation ) {
    if( type == "" || location == "" ) {
    throw std::invalid_argument("Empty type or location in VACaptureSource()");
}
type = inputType;
location = inputLocation;

// Open the given media source using the appropriate OpenCV function.
if( type.compare("image") ) {
    frame = cvLoadImage( location.c_str() );
    if( !frame ) {
        throw std::runtime_error("error opening file");
    }
}
else {
    throw std::invalid_argument("Unknown input type in VACaptureSource()");
}

}

当我想创建一个实例时，我使用

    // Create input data object
try {
    VACaptureSource input = VACaptureSource("image", "/home/cuneyt/workspace/testmedia/face_images/jhumpa_1.jpg");
}
catch( invalid_argument& ia ) {
    cerr << "FD Error: " << ia.what() << endl;
    usage(argv[0]);
}
catch( runtime_error& re ) {
    cerr << "FD Error: " << re.what() << endl;
    usage(argv[0]);
}

但是，在这种情况下，实例是该块的本地实例，我无法在其他任何地方引用它。另一方面，我不能说

VACAptureSource input;

在程序的开头，因为没有默认构造函数。

这样做的正确方法是什么？

谢谢！

Answer 1

为什么需要在try 块之外引用它？

代替

try {
  VACaptureSource input = VACaptureSource("image", "/home/cuneyt/workspace/testmedia/face_images/jhumpa_1.jpg");
}
//catch....

//do stuff with input

您可以将所有内容移到 try 块中：

try {
  VACaptureSource input = VACaptureSource("image", "/home/cuneyt/workspace/testmedia/face_images/jhumpa_1.jpg");
  //do stuff with input
}
//catch....

或者你可以把它分解成一个单独的函数，从 try 块中调用：

void doStuff(VACaptureSource& input){
  //do stuff with input
}

try {
  VACaptureSource input = VACaptureSource("image", "/home/cuneyt/workspace/testmedia/face_images/jhumpa_1.jpg");
  doStuff(input);
}
//catch....

最后一个甚至为您提供了将构造与使用分离的好处，它很好地放置在单元测试中，您可能希望函数在模拟对象上工作。

Answer 2

如何使用指针（或其某些 RAII 版本）？

VACaptureSource* input = NULL;

try {
    input = new VACaptureSource(...);
} catch(...) {
    //error handling
}

//And, of course, at the end of the program
delete input;

Answer 3

局部变量的作用域仅限于分配它的块（如 Java），但它会在块结束后立即销毁（与 Java 不同），因此您应该在 try 块本身中执行所有您想要的操作（如果您只想处理构造函数异常，这可能是不可取的）或者您应该将对象分配到其他地方（例如堆）并使用父块中的指针来访问它。

Answer 4

我可以观察到 any 但最简单的构造函数可能会引发异常。因此，您不应将异常视为某种意义上的“特殊”，而应编写代码使其自然地处理它们。这意味着使用 RAII，以及此处其他答案建议的其他技术。

Answer 5

你可以使用指针

VACaptureSource* input;
// Create input data object
try {
    input = new VACaptureSource("image", "/home/cuneyt/workspace/testmedia/face_images/jhumpa_1.jpg");
}
catch( invalid_argument& ia ) {
    cerr << "FD Error: " << ia.what() << endl;
    usage(argv[0]);
}
catch( runtime_error& re ) {
    cerr << "FD Error: " << re.what() << endl;
    usage(argv[0]);
}

并且你需要在使用完对象后释放它

delete input

Answer 6

我不能说

VACaptureSource input;

在程序的开头，因为没有默认构造函数。

您没有创建默认构造函数是有充分理由的：即 VACaptureSource 仅在与文件关联时才有意义。所以不要创建默认构造函数。而是简单地认识到VACaptureSource 对象的范围是try 块，并在那里使用它。

Answer 7

如果添加一个默认构造函数使对象处于特殊的未配置状态呢？然后有一个 create() 函数来实际创建它。

那么你可以这样做：

VACaptureSource input;
try
{
   input.create("image", "...");
}
catch(...)
{
   ...
}

视情况而定，这可能比乱用指针更好。虽然那时你还必须检查 create() 是否在做某事之前被实际调用......

Answer 8

我在这里实际上没有看到任何问题：

我要更新的几件事：

• 通过 const 引用捕获异常。
• 编译器可能会优化掉代码中的复制构造
  但是没有它看起来更整洁。只需声明输入及其参数即可。
• 我将重构构造函数以获取 const 引用参数
  我会在初始化列表中初始化它们。
• 我还要确保成员“框架”实际上是一个智能指针。

所以我会这样做（为了清楚起见）。

VACaptureSource::VACaptureSource( std::string const& inputType,
                                  std::string const& inputLocation )
      :type(inputType)
      ,location(inputLocation)
{
    // Other Code that throws.
}
void playWithCode()
{
    // Get input information from user.
    VACaptureSource input("image", "/home/cuneyt/workspace/testmedia/face_images/jhumpa_1.jpg");

    // use the input object.
    // Do not need to play with pointers here.
}
int main()
{
    try
    {
        playWithCode();
    }
    catch( invalid_argument const& ia )
    {    cerr << "FD Error: " << ia.what() << endl;
         usage(argv[0]);
    }
    catch( runtime_error const& re )
    {    cerr << "FD Error: " << re.what() << endl;
         usage(argv[0]);
    }
}

Answer 9

简单。不要在构造函数中抛出异常。您不仅必须将构造函数包装在 try 块中，而且在捕获异常时将无法很好地处理内存（您是否调用析构函数？需要删除多少类的内存？ )

UPDATE0：不过，如果您使用实例，我不确定内存管理是否存在问题。

UPDATE1：嗯，也许我在考虑析构函数中的异常。

int
main2(int argc, char* argv[])
{
  MyClass class;
  class.doSomething();
}

int
main(int argc, char* argv[])
{
  int result = 0;
    try {
      main2(argc, argv);
    } catch (std::exception& se) {
      // oh noes!
       result = 1;
    }
  return result;
}