当返回类型不是指针时返回NULL

Question

我有一个定义为

ClassType f(int i) {
  if (...) return NULL;
  ...
  ClassType obj;
  return obj;
}

我很好奇，当将类类型要求为返回类型时，为什么可以合法接受“ NULL”？ 我认为NULL通常由Macro定义为“ 0”的同义词。 有人可以解释其背后的原因吗？ 谢谢！

更新：

该类定义为：

class ClassType {
public:
  ClassType() {};
  ClassType(char* s) {...};
...
}

还有一个问题，按值返回时，c ++会进行隐式转换吗？

谢谢！

Answer 1

class ClassType {
public:
  ClassType() {};
  ClassType(char* s) {...}; // <<-----
}

当您说return NULL;时，将使用我标记的构造函数return NULL; 。 该值可以隐式转换为char* （通常将NULL定义为0 ，这是一个有效的指针值）。

还有一个问题，C ++在返回值时是否进行隐式转换？

是的，因为它必须构造适当类型的对象。

Answer 2

首先，在这种情况下，您可以返回NULL ，因为编译器随后将使用ClassType(char* s)构造函数，并将NULL作为构造函数参数传递。

但是通常，对于此类情况，您可能希望将对象作为函数的引用参数传递，然后在函数成功与否时返回布尔值true或false 。

Answer 3

Null是定义为0的宏，它是一个整数值。 如果ClassType具有接受整数或指针的构造函数，则编译器将自动将整数0转换为ClassType ：

class ClassType 
{
public:
    ClassType(const int);
};

如果该类没有可为0的构造函数，则编译器将引发错误。

Answer 4

不能准确地回答您的问题，但通常要指出可选的返回值，请考虑以下内容。

---

对于可选的返回值有意义的情况，您可以考虑boost::optional ，并且C ++ 14可能会定义std::optional （基于boost-library）。

在diguise附加返回值，比如bool以及指示成功，经常会在你不仅可以在情况下，你可以 初始化对象的负担，如果你想返回一个可选的值，对于这个没有默认的建设，你要么可以” t，否则您必须传递参考指针，然后必须在被调用的站点处检查指针，等等：

std::optional<Intensity> sample_spectrum (float); // clean and concise

-------------------------------------------------------------------------

bool sample_spectrum (Intensity &out); // either not possible or you
                                       // have a wasted initialization

-------------------------------------------------------------------------

bool sample_spectrum (Intensity *& out) { // now you have two problems
    if (!out) throw std::logic_error(""); // I
    ....
}
....
    try { .... } catch (...) { .... }     // II

-------------------------------------------------------------------------

Intensity *sample_spectrum(float) ; // please no

-------------------------------------------------------------------------

std::shared_ptr<Intensity> 
   sample_spectrum(float); // just use std/boost::optional