Boost C++ Libraries: Ticket #7560: [preprocessor] empty tuples are reported to have length equal to 1

Wed, 24 Oct 2012 04:10:39 GMT

First of all I must thank the effor all the developers have clearly put into developing the Preprocessor library. It really is an amazing work.

Back to the topic, now thinking about it, maybe () is indeed intended to be a 1-element tuple, following the fact, that an empty macro argument is still an argument since C99 and also C++11. That would ofcourse mean there is no such thing as an empty tuple as implemented by the Preprocessor library, but nonetheless, since there is no mention of such behavior on the documentation, one might be induced to understand, that an empty tuple is in fact well defined. Finaly, due to the fact this behaviour is dependent of one's subjective interpretation, as I see it this issue still configures a bug, at least a documentation one.

Should however the reported behavior be confirmed as not intended, JENS GUSTEDT proposes a solution to the "problem of detecting empty variadic macro arguments" here: http://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/, which I would be glad to implement as a patch, once the intended behavior is well clarified.

Steven Watanabe — Wed, 24 Oct 2012 04:12:25 GMT

() is indeed considered a one element tuple.

Wed, 24 Oct 2012 04:19:38 GMT

Replying to steven_watanabe:

() is indeed considered a one element tuple.

Thank you Steven, that does make a lot of sence. In this case I should perhaps look into sugesting modifications to make it more obvious on the documentation.

severity changed

Wed, 24 Oct 2012 04:24:58 GMT

severity Showstopper → Problem

Downgrading the severity from showstopper to problem, since it turns out to be a documentation problem only.

Maxim Yanchenko — Fri, 16 Aug 2013 09:45:42 GMT

It exists in documentation: "Valid tuple sizes range from 1 to BOOST_PP_LIMIT_TUPLE." (http://www.boost.org/doc/libs/1_54_0/libs/preprocessor/doc/ref/tuple_elem.html)

But would be good to have it on the main tuple page as well, not only on tuple_elem page.

Edward Diener — Sun, 17 May 2015 04:51:42 GMT

The documentation on the tuple data type has been updated in the 'develop' branch of the preprocessor library to explain that a tuple can never be empty and have a size of 0.

Edward Diener — Fri, 21 Aug 2015 13:47:35 GMT

This has now been fixed in the latest Boost 1.59 release.

status changed; resolution set

Edward Diener — Fri, 21 Aug 2015 13:47:49 GMT

status new → closed
resolution → fixed