使用模板的 C++ 惰性求值-6ren

使用模板的 C++ 惰性求值

转载作者：行者123 更新时间：2023-11-30 05:19:12

<分区>

我写了一个c++程序来实现惰性二进制操作。

该程序应该按如下方式工作:创建一个带有操作的二叉树，每次我们在二叉操作中使用一棵树和其他东西时，我们将这两个东西都作为新操作的左右子节点。当我调用 operator T 时，如果它也是一个运算符，它会递归地包含每个子项的另一个 operator T，或者将它传递给与模板参数关联的函数 ( F).

代码

#include <iostream>
#include <cassert>
#include <vector>

static const auto &add = [](auto a, auto b) {return a + b;};
static const auto &sub = [](auto a, auto b) {return a - b;};
static const auto &mul = [](auto a, auto b) {return a * b;};
static const auto &frac = [](auto a, auto b) {return a / b;};

template <class A, class B, class F> class BinaryOP;

template <class A, class B> using Addition = BinaryOP <A, B, decltype(add)>;
template <class A, class B> using Subtraction = BinaryOP <A, B, decltype(sub)>;
template <class A, class B> using Multiplication = BinaryOP <A, B, decltype(mul)>;
template <class A, class B> using Division = BinaryOP <A, B, decltype(frac)>;

static const auto make_binop = [](auto a, auto b, auto &F) { return BinaryOP<decltype(a), decltype(b), decltype(F)>(a, b, F); };
static const auto make_add = [](auto a, auto b) { return make_binop(a, b, add); };
static const auto make_sub = [](auto a, auto b) { return make_binop(a, b, sub); };
static const auto make_mul = [](auto a, auto b) { return make_binop(a, b, mul); };
static const auto make_div = [](auto a, auto b) { return make_binop(a, b, frac); };

template <class T>
struct is_recursable {
private:
  typedef char yes;
  typedef short no;
  template <typename C> static yes test(decltype(C::RECURSE_ME)*);
  template <typename C> static no test(...);
public:
  enum { value = sizeof(test<T>(0)) == sizeof(yes)  };
};

template <class A, class B, class F>
class BinaryOP {
protected:
  typedef BinaryOP <A, B, F> THIS_T;
  const A lhs;
  const B rhs;
  F func;
public:
  static const bool RECURSE_ME;

  constexpr BinaryOP(const A &lhs, const B &rhs, F &func):
    lhs(lhs), rhs(rhs), func(func)
  {}

  virtual ~BinaryOP()
  {}

  template <class T>
  constexpr operator T() const {
    auto a = is_recursable<A>::value ? T(lhs) : lhs;
    auto b = is_recursable<B>::value ? T(rhs) : rhs;
    return func(a, b);
  }

  template <class R>
  constexpr Addition <THIS_T, R> operator+(const R &b) {
    return make_add(*this, b);
  }

  template <class R>
  constexpr Subtraction <THIS_T, R> operator-(const R &b) {
    return make_sub(*this, b);
  }

  template <class R>
  constexpr Multiplication <THIS_T, R> operator*(const R &b) {
    return make_mul(*this, b);
  }

  template <class R>
  constexpr Division <THIS_T, R> operator/(const R &b) {
    return make_div(*this, b);
  }

  friend std::ostream &operator<<(std::ostream &os, const THIS_T &tree) {
    os << "{" << tree.lhs << ":" << is_recursable<A>::value << ", " << tree.rhs << ":" << is_recursable<B>::value << "}";
    return os;
  }

  void printrec() const {
    printf("1: {");
    if(is_recursable<A>::value == 1)
      /* printf("1 %s", typeid(B).name()); */
      lhs.printrec();
    else
      printf("0");
    printf(", ");
    if(is_recursable<B>::value == 1)
      /* printf("1 %s", typeid(B).name()); */
      rhs.printrec();
    else
      printf("0");
    printf("}");
  }
};

class Matrix {
  typedef std::vector <float> vec_t;
  typedef std::vector <std::vector <float> > mat_t;
  mat_t mat;
public:
  Matrix(mat_t mat):
    mat(mat)
  {}
  Matrix(size_t h, size_t w):
    mat(mat_t(h, vec_t(w)))
  {
    for(size_t i = 0; i < h; ++i)
      for(size_t j = 0; j < w; ++j)
        mat[i][j] = (i == j);
  }
  size_t height() const { return mat.size(); }
  size_t width() const { return (height() == 0) ? 0 : mat.front().size(); }
  Matrix operator*(const Matrix &other) {
    Matrix res(height(), other.width());
    assert(width() == other.height());
    for(size_t i = 0; i < height(); ++i) {
      for(size_t j = 0; j < other.width(); ++j) {
        float sum = 0.;
        for(size_t k = 0; k < width(); ++k) {
          sum += mat[i][k] * other.mat[k][j];
        }
        res.mat[i][j] = sum;
      }
    }
    return res;
  }
  Matrix operator*(const float &scalar) {
    Matrix res(height(), width());
    for(size_t i = 0; i < height(); ++i) for(size_t j = 0; j < width(); ++j) res.mat[i][j] = mat[i][j] * scalar;
    return res;
  }
  friend std::ostream &operator<<(std::ostream &os, const Matrix &m) {
    for(size_t i = 0; i < m.height(); ++i) {
      for(size_t j = 0; j < m.width(); ++j) {
        os << m.mat[i][j] << " ";
      }
      os << std::endl;
    }
    return os;
  }
};

int main() {
  auto tree = make_add(2, 3) + make_sub(5, 6) * make_add(3, 0) / 3; // = 4
  std::cout << tree << std::endl;
  std::cout << int(tree) << std::endl;
  Matrix m(10, 10), n(10, 10);
  auto mattree = make_mul(m, n) + 6;
  std::cout << mattree << std::endl;
  std::cout << "operator is recursable: " << is_recursable<Addition<float, Matrix> >::value << std::endl;
  std::cout << "matrix is recursable: " << is_recursable<Matrix>::value << std::endl;
  std::cout << "float is recursable: " << is_recursable<float>::value << std::endl;
  std::cout << "mattree is recursable: " << is_recursable<decltype(mattree)>::value << std::endl;
  mattree.printrec();
  /* std::cout << (mattree.operator Matrix()) << std::endl; */
}

编译

c++ -flto -O2 -std=c++1y binary_operator.cpp

clang

binary_operator.cpp:93:10: error: member reference base type 'const int' is not a structure or union
      rhs.printrec();
      ~~~^~~~~~~~~
binary_operator.cpp:158:11: note: in instantiation of member function 'BinaryOP<BinaryOP<Matrix, Matrix, const <lambda at binary_operator.cpp:7:26> &>, int, const <lambda at binary_operator.cpp:5:26> &>::printrec' requested here
  mattree.printrec();
          ^
binary_operator.cpp:87:11: error: no member named 'printrec' in 'Matrix'
      lhs.printrec();
      ~~~ ^
binary_operator.cpp:87:11: note: in instantiation of member function 'BinaryOP<Matrix, Matrix, const <lambda at binary_operator.cpp:7:26> &>::printrec' requested here
      lhs.printrec();
          ^
binary_operator.cpp:158:11: note: in instantiation of member function 'BinaryOP<BinaryOP<Matrix, Matrix, const <lambda at binary_operator.cpp:7:26> &>, int, const <lambda at binary_operator.cpp:5:26> &>::printrec' requested here
  mattree.printrec();
          ^
binary_operator.cpp:93:11: error: no member named 'printrec' in 'Matrix'
      rhs.printrec();
      ~~~ ^
3 errors generated.
make: *** [binary_operator] Error 1

海湾合作委员会

binary_operator.cpp: In instantiation of 'void BinaryOP<A, B, F>::printrec() const [with A = BinaryOP<Matrix, Matrix, const<lambda(auto:5, auto:6)>&>; B = int; F = const<lambda(auto:1, auto:2)>&]':
binary_operator.cpp:158:20:   required from here
binary_operator.cpp:93:11: error: request for member 'printrec' in '((const BinaryOP<BinaryOP<Matrix, Matrix, const<lambda(auto:5, auto:6)>&>, int, const<lambda(auto:1, auto:2)>&>*)this)->BinaryOP<BinaryOP<Matrix, Matrix, const<lambda(auto:5, auto:6)>&>, int, const<lambda(auto:1, auto:2)>&>::rhs', which is of non-class type 'const int'
       rhs.printrec();
       ~~~~^~~~~~~~
binary_operator.cpp: In instantiation of 'void BinaryOP<A, B, F>::printrec() const [with A = Matrix; B = Matrix; F = const<lambda(auto:5, auto:6)>&]':
binary_operator.cpp:87:7:   required from 'void BinaryOP<A, B, F>::printrec() const [with A = BinaryOP<Matrix, Matrix, const<lambda(auto:5, auto:6)>&>; B = int; F = const<lambda(auto:1, auto:2)>&]'
binary_operator.cpp:158:20:   required from here
binary_operator.cpp:87:11: error: 'const class Matrix' has no member named 'printrec'
       lhs.printrec();
       ~~~~^~~~~~~~
binary_operator.cpp:93:11: error: 'const class Matrix' has no member named 'printrec'
       rhs.printrec();
       ~~~~^~~~~~~~

shell returned 1

但是如果我通过更改注释来更改 printrec(请参阅代码)，我将得到:

{{2:0, 3:0}:1, {{{5:0, 6:0}:1, {3:0, 0:0}:1}:1, 3:0}:1}
4
{{1 0 0 0 0 0 0 0 0 0
0 1 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0
0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 1 0 0 0 0
0 0 0 0 0 0 1 0 0 0
0 0 0 0 0 0 0 1 0 0
0 0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 0 1
:0, 1 0 0 0 0 0 0 0 0 0
0 1 0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0 0 0
0 0 0 1 0 0 0 0 0 0
0 0 0 0 1 0 0 0 0 0
0 0 0 0 0 1 0 0 0 0
0 0 0 0 0 0 1 0 0 0
0 0 0 0 0 0 0 1 0 0
0 0 0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 0 1
:0}:1, 6:0}
operator is recursable: 1
matrix is recursable: 0
float is recursable: 0
mattree is recursable: 1
1: {1 i, 0}

显然，当我尝试递归评估(或打印)树时，它无法编译并出现错误，因为它无法在叶(非运算符)类中找到相同的方法(例如 printrec)，但它似乎(参见 is_recursive)它知道编译时有哪些类型。

文章推荐： c++ - 围绕自身旋转物体

文章推荐： c++ - 是否可以全局声明一个boost线程？

文章推荐： c++ - 悬停时 QAction 图标更改

c++ - C c;之间有什么区别吗？和 C c = C();?
#include using namespace std; class C{ private: int value; public: C(){ value = 0;
c++ - C 风格字符串差异 : C/C++
这个问题已经有答案了: What is the difference between char a[] = ?string?; and char *p = ?string?;? (8 个回答) 已关闭
c++ - c\c++ 转换为 C#
关闭。此题需要details or clarity 。目前不接受答案。想要改进这个问题吗？通过 editing this post 添加详细信息并澄清问题. 已关闭 7 年前。此帖子已于 8 个月
c# - C、C++、C# 的功能测试工具
除了调试之外，是否有任何针对 c、c++ 或 c# 的测试工具，其工作原理类似于将独立函数复制粘贴到某个文本框，然后在其他文本框中输入参数？最佳答案也许您会考虑单元测试。我推荐你谷歌测试和谷歌模拟
c# - C/C++/C# 在监视器上设置窗口位置
我想在第二台显示器中移动一个窗口 (HWND)。问题是我尝试了很多方法，例如将分辨率加倍或输入负值，但它永远无法将窗口放在我的第二台显示器上。关于如何在 C/C++/c# 中执行此操作的任何线索最
c# - C/C++/C#中的DES实现
我正在寻找 C/C++/C## 中不同类型 DES 的现有实现。我的运行平台是Windows XP/Vista/7。我正在尝试编写一个 C# 程序，它将使用 DES 算法进行加密和解密。我需要一些实
c# - 在条件中使用赋值是否安全？ C/C++、C#
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开，visit the help center . 关闭 1
c++ - C/C++/C# 强制窗口在最上面
有没有办法强制将另一个窗口置于顶部？不是应用程序的窗口，而是另一个已经在系统上运行的窗口。 (Windows, C/C++/C#) 最佳答案 SetWindowPos(that_window_ha
c# - 套接字服务器应用程序的选择 : C/C++ or C#
假设您可以在 C/C++ 或 Csharp 之间做出选择，并且您打算在 Windows 和 Linux 服务器上运行同一服务器的多个实例，那么构建套接字服务器应用程序的最明智选择是什么？最佳答案如
c++ - C/C++ 运行时库和 C/C++ 标准库的区别
你们能告诉我它们之间的区别吗？顺便问一下，有什么叫C++库或C库的吗？最佳答案 C++ 标准库和 C 标准库是 C++ 和 C 标准定义的库，提供给 C++ 和 C 程序使用。那是那些词的共同
c++ - &C::c 和 &(C::c) 有什么区别？
下面的测试代码，我将输出信息放在注释中。我使用的是 gcc 4.8.5 和 Centos 7.2。 #include #include class C { public:
c++ - 什么 C++(通用 (c/c++) 与 (通用 c)/c++ )
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它，visit the help center 。已关
c# - 通过网络在 C/C++ 服务器、C/C++ 和 C# 客户端之间发送数据结构
我的客户将使用名为 annoucement 的结构/类与客户通信。我想我会用 C++ 编写服务器。会有很多不同的类继承annoucement。我的问题是通过网络将这些类发送给客户端我想也许我应该使用
c# - C/C++ - 如何将 Buffer.BlockCopy (C#) 转换为 C/C++
我在 C# 中有以下函数: public Matrix ConcatDescriptors(IList> descriptors) { int cols = descriptors[0].Co
c++ - C/C++ - 对其他人隐藏 C 或 C++ 函数代码
我有一个项目要编写一个函数来对某些数据执行某些操作。我可以用 C/C++ 编写代码，但我不想与雇主共享该函数的代码。相反，我只想让他有权在他自己的代码中调用该函数。是否可以？我想到了这两种方法 - 在
c# - 在托管代码(C++、C、C++/CLI、C#)中使用非托管代码时处理错误
我使用的是编写糟糕的第 3 方 (C/C++) Api。我从托管代码(C++/CLI)中使用它。有时会出现“访问冲突错误”。这使整个应用程序崩溃。我知道我无法处理这些错误[如果指针访问非法内存位置等，
c# - C#、C/C++ 或 Objective-C 中的眼动追踪库
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题，以便用事实和引用来回答。关闭 7 年前。
c++ - C/C++/Objective-C 文本识别库
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的，因为
c# - 将 C/C++ 函数导入 C#
我有一些 C 代码，将使用 P/Invoke 从 C# 调用。我正在尝试为这个 C 函数定义一个 C# 等效项。 SomeData* DoSomething(); struct SomeData {
c - C语言中 "c -= --c - c++;"的结果应该是什么？
这个问题已经有答案了: Why are these constructs using pre and post-increment undefined behavior? (14 个回答) 已关闭 6

行者123

个人简介

我是一名优秀的程序员,十分优秀！

作者热门文章

滴滴打车优惠券免费领取

全站热门文章

首页

博学

6Ren·AI

商城

使用模板的 C++ 惰性求值

代码

编译

clang

海湾合作委员会