Boost C++ Libraries: Ticket #8564: Variable hiding errors within nested let blocks in Phoenix

Sat, 08 Feb 2014 19:59:32 GMT

This is indeed a bug and the examples given do not work. The solution is to use either an argument e.g _1 or a local variable e.g. _a to assign value to the local variable in the inner let.

These examples both work with the definitions

namespace phoenix = boost::phoenix;
using namespace phoenix::local_names;
using boost::phoenix::arg_names::_1;
using boost::phoenix::arg_names::_2;
using boost::phoenix::arg_names::_3;
using std::cout;

  phoenix::let(_x = _1, _y = _2)
  [
      let(_x = _3) // hides the outer _x
      [
       cout << _x << _y // prints "Hello, World"
      ]
  ](1," World","Hello,");
  cout << std::endl;

  phoenix::let(_x = _1, _y = _2, _z = _3)
  [
      let(_x = _z) // hides the outer _x
      [
       cout << _x << _y // prints "Hello, World"
      ]
  ](1," World","Hello,");
  cout << std::endl;

I will investigate further and also change the documentation. John

Sun, 09 Feb 2014 12:20:33 GMT

Further work has shown that these cases work as expected:

  {
    int z = 3;
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = _a)[ _a ]])(y);
  }

  {
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = _1)[ _a ]])(y);
  }

  {
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = 1)[_b]])();
  }  // This works....

but this case fails:

  {
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = 1)[_a]])();
  }

Reference to _a in the inner loop is the problem, but only when _b is set to a constant!!

Further investigation is in progress.

Sun, 09 Feb 2014 18:32:30 GMT

Replying to John Fletcher <J.P.Fletcher@…>:

Further work has shown that these cases work as expected
  {
    int z = 3;
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = _a)[ _a ]])(y);
  }
  {
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = _1)[ _a ]])(y);
  }
  {
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = 1)[_b]])();
  }  // This works....
but this case fails:
  {
    int y = 0;
    int x = (phoenix::let(_a = 1, _b = 2)[phoenix::let(_b = 1)[_a]])();
  }
Reference to _a in the inner loop is the problem, but only when _b is set to a constant!!

Further investigation is in progress.

Unfortunately it is not as easy as that. The 'working' cases above fail for some compilers e.g. clang 3.4 in C++03 but not C++11. gcc 4.8.2 works for C++03 and C++11. Work is in progress.

Sun, 01 Feb 2015 21:50:40 GMT

Apologies for the delay in giving further information. There is certainly a problem in Boost Phoenix V3 in the implementation of let and lambda. This shows up in various ways. In some cases code works when not optimised but fails when optimised - gcc 4.9.0 on -O1 and clang 3.5 on -O2. I know this is serious and I am working on it. The documentation is being revised and will be much more up to date with the next release of Boost.