如何编写可能无法正确实例化对象的构造函数

有时您需要编写可能会失败的构造函数。例如，假设我要实例化带有文件路径的对象，例如

obj = new Object("/home/user/foo_file")

只要路径指向适当的文件，一切都很好。但是，如果字符串不是有效路径，则应该中断。但是如何？

你可以：

1. 抛出异常
2. 返回空对象（如果您的编程语言允许构造函数返回值）
3. 返回一个有效的对象，但带有一个标志，指示其路径设置不正确（ugh）
4. 其他？

我假设各种编程语言的“最佳实践”将以不同的方式实现此目标。例如，我认为ObjC更喜欢（2）。但是（2）不可能在C ++中实现，在C ++中，构造函数必须将void作为返回类型。在这种情况下，我认为使用（1）。

您可以使用您选择的编程语言来说明如何处理此问题并解释原因吗？

依靠构造函数完成肮脏的工作永远都不是一件好事。此外，除非有明确的文档说明（并且该类的用户已阅读或被告知），否则其他程序员也不清楚是否将在构造函数中完成工作。

例如（在C＃中）：

public Sprite
{
    public Sprite(string filename)
    {
    }
}

如果用户不想立即加载文件，该怎么办？如果他们想按需缓存文件怎么办？他们不能。您可能会想到bool loadFile在构造函数中放置一个参数，但这会使此情况变得混乱，因为您现在仍然需要一种Load()方法来加载文件。

在当前情况下，该类的用户将变得更加灵活和清晰：

Sprite sprite = new Sprite();
sprite.Load("mario.png");

或者（对于资源等）：

Sprite sprite = new Sprite();
sprite.Source = "mario.png";
sprite.Cache();

// On demand caching of file contents.
public void Cache()
{
     if (image == null)
     {
         try
         {
             image = new Image.FromFile(Source);
         }
         catch(...)
         {
         }
     }
}

在Java中，您可以使用异常或使用工厂模式，这将允许您返回null。

在Scala中，您可以从工厂方法返回Option [Foo]。这也可以在Java中使用，但是会比较麻烦。

引发异常。

如果可以返回Null，则需要检查Null（并且不会对其进行检查）

这就是检查异常的目的。您知道它可能会失败。呼叫者必须处理此问题。

在C ++中，构造函数用于创建/初始化类的成员。

这个问题没有正确答案。但是到目前为止，我观察到的是，大多数情况下都是由客户端（或打算使用您的API的人）来选择如何处理这些内容。

有时他们可能会要求您在构造函数上分配对象可能需要的所有资源，并在发生某些故障（阻止创建对象）时抛出异常，或者在构造函数上不执行任何操作，并确保创建总是成功，将这些任务留给某些成员函数来完成。

如果要由您选择行为，则异常是处理错误的默认C ++方法，应尽可能使用它们。

您也可以不使用任何参数或仅使用确定不会失败的参数来实例化对象，然后使用初始化函数或方法来安全地引发异常或执行所需的操作。

我不想在构造函数中初始化任何类或列表。在需要时初始化一个类或列表。例如。

public class Test
{
    List<Employee> test = null;
}

不要这样做

public class Test
{
    List<Employee> test = null;

    public Test()
    {
        test = new List<Employee>();
    }
}

而是在需要时进行初始化，例如。

public class Test
{
    List<Employee> emp = null;

    public Test()
    { 
    }

    public void SomeFunction()
    {
         emp = new List<Employee>();
    }
}