http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51539
--- Comment #2 from Christopher Yeleighton <giecrilj at stegny dot 2a.pl> 2011-12-13 23:30:49 UTC --- (In reply to comment #1) > It returns x*y, which may or may not be the product, the binary operator* > could > be overloaded for Tp with a completely different meaning. The result of operator * is a product. Of course, the kind of product depends on the operator used. > > Actually I'm wondering if it's worth adding anything here. What else is > multiplies going to do, except multiply? There's already a link to a page > saying all the arithmetic operations have corresponding functors, it should be > self-explanatory. But then the meaning of the types defined by the class is also self-explanatory and documented elsewhere, yet they are documented. You choose: either you add one sentence to the documentation or you use so many sentences to explain why the sentence need not be added. As you like it.