修改not_null以禁止与nullptr进行比较

您可以这样做的原因之一可能是,有时您可能会得到一个指针/智能指针,并希望将其与 gsl::not_null gsl::不为空 在一个模板函数中(它绝对不知道 gsl::不为空

template<class Lhs, class Rhs>
bool hasSameValue(Lhs lhs, Rhs rhs){
  if(lhs == nullptr || rhs == nullptr)
    return lhs == rhs;

  return *lhs == *rhs;
}

gsl::not_null<int*> ptr = /* [...] */;
shared_ptr<int> sptr = /* [...] */;
hasSameValue(ptr, sptr);

如果你还想拒绝支票/ nullptr

bool operator==(std::nullptr_t nptr) = delete;
bool operator!=(std::nullptr_t nptr) = delete;

将它们标记为已删除就足够了。请注意 不能从定义它们的类继承。如果它继承自定义它们的类,只需抛出一个异常(即使它只是一个运行时错误)。

您只需要为 std::nullptr_t

// Example program
#include <iostream>
#include <string>

class Test
{
public:
  Test(int value) : value(value) {}

  bool operator == (std::nullptr_t n)
  {
      return value == 0;
  }

  bool operator != (std::nullptr_t n)
  {
      return value != 0;
  }

private:
  int value;    
};

int main()
{
    Test a(0);
    Test b(1);
    std::cout << (a == nullptr) << ", " << (b == nullptr) << "\n";
    std::cout << (a != nullptr) << ", " << (b != nullptr) << "\n";
}

或者,如果您想要编译错误,只需删除相同的运算符。