Question

我正在用C ++ 11编写Haskell Maybe Monad的实现。

但是，当我尝试测试代码时，我陷入了困境。当我使用伪构造函数Just构造类型的值，然后尝试使用函数fromJust评估该类型的值时（应该只是“解压缩”放置在Maybe中的值），程序停止并最终默默终止。

所以我试图调试它；这是testMaybe.cpp代码的输出：

c1
yeih2
value not null: 0xf16e70

我添加了一些打印语句来评估程序在哪里停止，并且似乎在我取消引用指针以返回值的确切点处停止。（我已经在代码中标记了它。）

起初，我认为也许在我想取消引用指针的时候就已经破坏了may的值，据我所知，这将导致不确定的行为或终止。但是，我找不到发生这种情况的地方。

能否请您提示为什么发生这种情况？

testMaybe.cpp：

#include<iostream>
#include "Maybe.hpp"
using namespace std;
using namespace Functional_Maybe;
int main() {
        Maybe<string> a{Maybe<string>::Just("hello") };
        if(!isNothing(a)) cout << "yeih2 " << fromJust(a) << endl;
        return 0;
}

Maybe.hpp

#pragma once
#include<stdexcept>
#include<iostream>
using namespace std;
namespace Functional_Maybe {

  template <typename T>
  class Maybe {
    const T* value;

    public:
          Maybe(T *v) : value { v } {}            //public for return in join
          const static Maybe<T> nothing;

          static Maybe<T> Just (const T &v) { cout << "c1" << endl; return Maybe<T> { new T(v) }; }

          T fromJust() const {
                  if (isNothing()) throw std::runtime_error("Tried to extract value from Nothing");
                  cout << "\nvalue not null: " << value << " " << *value << endl;
                                        //                        ^ stops here
                  return *value;
          }

          bool isNothing() const { return value==nullptr; }

          ~Maybe() { if (value != nullptr) delete value; }
  };

  template <typename T>
  bool isNothing(Maybe<T> val) {
    return val.isNothing();
  }

  template <typename T>
  T fromJust(Maybe<T> val) {
    return val.fromJust();
  }
}

Answer 1

您的类模板Maybe拥有资源（动态分配的T），但没有遵循Rule of Three ：（隐式定义的）复制和移动操作仅执行浅表复制，导致免后使用和双免的问题。您应该为您的类实施适当的复制和移动操作（共轭函数和赋值运算符），或者将std::unique_ptr<const T>用作value的类型，并删除手动析构函数（从而遵循首选的零规则）

旁注：您是否研究过std::optional（或者在C ++ 17之前的版本中是boost::optional）？他们似乎在做一些与拟议的类非常相似（甚至完全相同）的事情，您可能想改用它们（或者，如果更适合您，可以在您的类中内部使用它们）。在某些情况下，使用小对象优化以避免动态内存分配，它们甚至可能更有效。

无法取消引用指针

1 个答案: