tsmanner/cpp-gen - Change 4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC

Refactored to use Term templates that contain the field to reference as part of the type, preparing to use those in an eDSL with operator overloads to allow for lazy constraint arithmetic to express relationships.

Created by BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf on July 5, 2024

4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC

Dependencies

[2] RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC

In channels

main

Change contents

Deletion in src/main.cpp at line 7 [2.50]

B:BD[2.131] → [2.131:441]


template <typename _Test, auto _L, auto _R>
struct Constraint;
template <
  typename _Test,
  typename _L, typename _LF, _LF(_L::*_l),
  typename _R, typename _RF, _RF(_R::*_r)>
struct Constraint<_Test, _l, _r> {
  static
  bool test(_L const &l, _R const &r) {
    return _Test::test(l.*_l, r.*_r);
  }
};

Insertion in src/main.cpp at line 14 [2.50]

[2.548]

  using Operand = _T;
  static constexpr
  _V const &get(Operand const &operand) {
    return operand.*_field;
  }

Insertion in src/main.cpp at line 24 [2.50]

[2.631]

  using Operand = _T;
  static constexpr
  _V const &get(Operand &operand) {
    return (operand.*_method)();
  }

Insertion in src/main.cpp at line 34 [2.50]

[2.720]

  using Operand = _T;
  static constexpr
  _V const &get(Operand const &operand) {
    return (operand.*_method)();
  }

Insertion in src/main.cpp at line 44 [2.50]

[2.807]

  using Operand = _T;
  static constexpr
  _V const &get(Operand &operand) {
    return (operand.*_function)();
  }

Replacement in src/main.cpp at line 54 [2.50]

B:BD[2.900] → [2.900:1104]

};
// TODO: How do you handle references to subobjects?  What if a
//       class has a field that is a class and you want to solve
//       for that subfield but only within the context of the parent?

[2.900]

[2.1104]

  using Operand = _T;

Replacement in src/main.cpp at line 56 [2.50]

B:BD[2.1105] → [2.1105:1226]

struct Equal {
  template <typename _L, typename _R>
  static
  bool test(_L const &l, _R const &r) {
    return l == r;

[2.1105]

[2.1226]

  static constexpr
  _V const &get(Operand const &operand) {
    return (operand.*_function)();

Replacement in src/main.cpp at line 63 [2.50]

B:BD[2.1235] → [2.1235:1354]

struct Less {
  template <typename _L, typename _R>
  static
  bool test(_L const &l, _R const &r) {
    return l < r;

[2.1235]

[2.1354]

template <typename _L, typename _R>
struct Equal {
  using L = typename _L::Operand;
  using R = typename _R::Operand;
  static constexpr
  bool test(L const &l, R const &r) {
    return _L::get(l) == _R::get(r);

Insertion in src/main.cpp at line 73 [2.50]

[2.1361]


// TODO: How do you handle references to subobjects?  What if a
//       class has a field that is a class and you want to solve
//       for that subfield but only within the context of the parent?

Deletion in src/main.cpp at line 88 [2.50]

B:BD[2.1443] → [2.1443:1565]


using Constraints = List<
  Constraint<Equal, &Foo::value, &Bar::value>,
  Constraint<Less, &Foo::value, &Bar::value>
>;

Replacement in src/main.cpp at line 94 [2.50]

B:BD[2.1656] → [2.1656:1711]

  // std::cout << FooBarMatch::test(foo, bar) << '\n';

[2.1656]

[2.1711]

  std::cout << Equal<Term<&Foo::value>, Term<&Bar::value>>::test(foo, bar) << '\n';

Replacement in src/main.cpp at line 96 [2.50]

B:BD[2.1728] → [2.1728:1783]

  // std::cout << FooBarMatch::test(foo, bar) << '\n';

[2.1728]

[2.1783]

  std::cout << Equal<Term<&Foo::value>, Term<&Bar::value>>::test(foo, bar) << '\n';