如何在不使用指针的情况下从模板化方法返回NULL

Question

我有一些看起来像这样的代码：

template <class T>
T foo(T a) {
 if (a) {
   // do somethin', returns object of type T
 } else {
   return NULL;
 }
}

但当然它不会编译，因为NULL不是T类型。有人向我建议这个解决方案，但我不喜欢它：

template <class T>
T* foo(T a) {
 if (a) {
   // do somethin', returns object of type T*
 } else {
   return nullptr;
 }
}

我想知道如何在没有使用指针的情况下使该函数能够返回NULL值？

Answer 1

在C ++ 17中，您将能够使用std::optional<T> 。 你可以做这样的事情：

template <class T>
std::optional<T> foo(T a) {
    if (a) {
        // do somethin', returns object of type T
        return std::make_optional(/*Anything that constructs `T`*/);
    } else {
        return {};
    }
}

在接收端，您可以测试其中的值：

auto my_val = foo(obj);
if(my_val){
     /* :-) ....knock yourself out! */
}
else{
     /* :-( ....we didn't find the value */
}

目前，

• 您可以使用Boost.Optional 。

• 或者，如果您使用的是最新的编译器，则可以从std::experimental::optional访问它。

• 或者，如果你不想使用升压和它的依赖，你可以简单地抓住这个小小的头 （从一个可选的工作实现的提议者optional进入C ++标准）......它只是头，所以，只有你需要下载/复制单个头文件并#include它。

---

C ++ 17的另一个很酷的事情是，对值的测试现在将变得如此简单：

if(auto my_val = foo(obj); my_val){
     // ....knock yourself out!
}

---

你可以在这里看到更多的C ++ 17特性：C ++ 17中有哪些新功能？

Answer 2

template <class T>

T list<T>::getData(int i){

    if (i < iSize && i >= 0){

        return listData[i];

    } else {

        cout << "Does not exist";

    return {};

  }

}

//效果很好