{"id":943,"date":"2010-01-26T03:41:57","date_gmt":"2010-01-26T11:41:57","guid":{"rendered":"http:\/\/boost-spirit.com\/home\/?p=943"},"modified":"2010-01-26T03:51:48","modified_gmt":"2010-01-26T11:51:48","slug":"whats-the-difference-between-karmas-and","status":"publish","type":"post","link":"http:\/\/boost-spirit.com\/home\/2010\/01\/26\/whats-the-difference-between-karmas-and\/","title":{"rendered":"What’s the Difference Between Karma’s ‘!’ and ‘~’?"},"content":{"rendered":"

A couple of days ago I promised to get back to this topic (if you want to refresh your memory, here<\/a> is the discussion of those operators in Qi<\/em>). Today we will discuss Karma’s<\/em> unary operators ‘!’<\/span> and ‘~’<\/span>. These have very similar semantics as their counterparts in Qi<\/em>, but as usual, we have to turn things inside out in order to make them fit to output generation.<\/p>\n

<\/p>\n

The one commonality of the two operators is the same as in Qi<\/em>: both negate whether the component they are being used with succeeds generating. If the component ‘c’<\/span> succeeds, both compound constructs, ‘!c’<\/span> and ‘~c’<\/span> will fail, and similarly, if ‘c’<\/span> fails, the execution of the components ‘!c’<\/span> and ‘~c’<\/span> will succeed.<\/p>\n

Similar to its counterpart in Qi<\/em>, the unary Karma<\/em> operator ‘~’<\/span> is applicable to character and character class generators only. It negates the set of characters a generator will be allowed to emit. Let me explain. The Karma<\/em> character set generators, such as char_(“a-z”)<\/span> or digit<\/span> will emit their attribute only if the attribute value belongs to the character set described. Consequently, applying the operator ‘~’ will negate the character set the generator it is attached to. Here are some examples:<\/p>\n\n\n\n\n\n\n
Expression<\/strong><\/td>\nDescription<\/strong><\/td>\n<\/tr>\n
~char_(“a-z”)<\/span> <\/span><\/td>\nwill emit character values outside the character range spanned by ‘a’ and ‘z’<\/td>\n<\/tr>\n
~digit<\/span><\/td>\nwill emit non-digits only<\/td>\n<\/tr>\n
~char_(‘a’)<\/span><\/td>\nwill emit everything but an ‘a’<\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

\u00a0<\/p>\n

If a generator can’t emit its attribute it will fail. This is very similar to a failing parser component. The possibility for a generator component to fail is very useful. This can be utilized for alternatives, predicates and other constructs. But this is beyond today’s topic and will be discussed in a different installment of the ‘Tip of the Day’.<\/p>\n

The generators created by the operator ‘~’<\/span> do not wrap the underlying generator. The operator rather modifies the behavior of the component it is attached to. This means there is no performance difference if compared to the plain character generators.<\/p>\n

The unary operator ‘!’<\/span> creates a not-predicate generator. Again, similar to its counterpart in Qi<\/em>, it can be attached to any (arbitrarily complex) generator. The not-predicate generator will succeed if the associated generator fails, and it will fail if its generator succeeds. It invokes the generator it is attached to but the emitted output will not show up in the overall output stream. So effectively, the not-predicate generator will never emit any output. The following example will succeed emitting a floating point number if the first attribute is false (which will make the true_<\/span> generator fail), otherwise it will not emit anything and will fail all together:<\/p>\n

\r\nnamespace karma = boost::spirit::karma;\r\nstd::string output;\r\nstd::back_insert_iterator<std::string> sink(output);\r\nkarma::generate(sink, !true_ << double_, false, 1.0); \/\/ will emit: 1.0\r\n<\/pre>\n
This example highlights another difference if compared to Qi’s<\/em> not-predicate. The Karma<\/em> not-predicate will always consume an attribute. More accurately, it will expose the attribute of the generator it is associated with (while in Qi<\/em> the not-predicate never exposes any attribute). As mentioned earlier, we utilize the true_<\/span> generator’s ability to fail to control what output is generated (or if any output is generated at all as in our case).<\/p>\n
Share this:<\/h3>