C++Talk.NET C++ language newsgroups   Archives   FAQ   Search   Memberlist   Usergroups   Register   Profile   Log in to check your private messages   Log in  Redefining operators in C++          C++Talk.NET Forum Index -> C++ language (comp.lang.c++) View previous topic :: View next topic   Author Message bberu Guest Posted: Thu Dec 16, 2004 2:48 pm    Post subject: Redefining operators in C++ Hi, I know it is possible to refine operators (like +, -, * or /) on classes. But is it possible on simple types ? ex : If I have a type like : typedef int vector[100] is it possible to redefine a + operator on the vetor type ? Thanks ! Bruno Back to top Karl Heinz Buchegger Guest Posted: Thu Dec 16, 2004 3:19 pm    Post subject: Re: Redefining operators in C++ bberu wrote: Quote: Hi, I know it is possible to refine operators (like +, -, * or /) on classes. But is it possible on simple types ? ex : If I have a type like : typedef int vector[100] is it possible to redefine a + operator on the vetor type ? vector is not a type. vector is of type: array[100] of int And no. It is not possible to define operators for the built in types. -- Karl Heinz Buchegger [email]kbuchegg (AT) gascad (DOT) at[/email] Back to top Ivan Vecerina Guest Posted: Thu Dec 16, 2004 4:06 pm    Post subject: Re: Redefining operators in C++ "Karl Heinz Buchegger" <kbuchegg (AT) gascad (DOT) at> wrote Quote: bberu wrote: I know it is possible to refine operators (like +, -, * or /) on classes. But is it possible on simple types ? ex : If I have a type like : typedef int vector[100] is it possible to redefine a + operator on the vetor type ? vector is not a type. vector is of type: array[100] of int vector is indeed the name of a type (although a poorly chosen one). Quote: And no. It is not possible to define operators for the built in types. But the question was not about built-in types. You can actually overload operators on some simple types such as enum: enum SimpleType { stA, stB, stC }; SimpleType& operator++(SimpleType& a) { if(a>=stC) a = stA; else a = static_cast<SimpleType>(a+1); return a; } However, while functions can be overloaded on array parameters, overloaded operators need to have at least one parameter of a user-defined type: typedef int vec3[3]; void add( vec3& a, vec3 const& b ) // ok, fully valid { a[0]+=b[0]; a[1]+=b[1]; a[2]+=b[2]; } void operator++( vec3& a ) // ERROR - op overload requires UDT { a[0]+=1; a[1]+=1; a[2]+=1; } Anyway, array types have many caveats and limitations (e.g. implicit conversion to pointers; cannot be used as function return value). It is much safer and easier to use a struct wrapping the fixed-size array: struct vec100 { int m[100]; }; All operators can then be overloaded . By adding operator[] members, you can also support the same syntax as for a built-in array (and have the possibility to add bounds checks). Boost and most likely the next version of the standard library also include a template class that automates this process: typedef array<int,100> vec100; Cheers, Ivan -- http://ivan.vecerina.com/contact/?subject=NG_POST <- email contact form Back to top Ron Natalie Guest Posted: Thu Dec 16, 2004 8:40 pm    Post subject: Re: Redefining operators in C++ Ivan Vecerina wrote: Quote: "Karl Heinz Buchegger" <kbuchegg (AT) gascad (DOT) at> wrote in message But the question was not about built-in types. You can actually overload operators on some simple types such as enum: enum SimpleType { stA, stB, stC }; To overload an operator, one operand must be of class or enum type. Enum is NOT a simple type. Quote: However, while functions can be overloaded on array parameters, Nope. Any array in a function argument is converted to pointer to the element type for the purposes of overloading. Quote: void add( vec3& a, vec3 const& b ) // ok, fully valid and identical to: void add(int*&, int*const& ) for overloading purposes. This is an important distinction as: typedef int vec4[4]; void add(vec4, vec4); void add(vec3, vec3); yield the same signature and make the program ill-formed. Quote: It is much safer and easier to use a struct wrapping Back to top Swampmonster Guest Posted: Fri Dec 17, 2004 12:30 am    Post subject: Re: Redefining operators in C++ Quote: I know it is possible to refine operators (like +, -, * or /) on classes. But is it possible on simple types ? ex : If I have a type like : typedef int vector[100] is it possible to redefine a + operator on the vetor type ? Hi! vector is NOT a type. vector is a type-alias for "int [100]" So no, you can't overload operators, since at least one argument of on overloaded operator needs to be of class-type (user defined type). You might do something like: struct my_vector // don't just use "vector" because everybode who reads it will // immediately think so std::vector<> which is a completely different // thing { int elements[100]; }; Then you can overload any operator + or whatever you like. If you want you can overload operator [] to enable direct access to the elements. You might even check the index inside that operator, which is a nice thing to have, at least for debug builds. Bye, 'monster Back to top Ivan Vecerina Guest Posted: Fri Dec 17, 2004 11:02 am    Post subject: Re: Redefining operators in C++ "Ron Natalie" <ron (AT) sensor (DOT) com> wrote Quote: Ivan Vecerina wrote: "Karl Heinz Buchegger" <kbuchegg (AT) gascad (DOT) at> wrote in message But the question was not about built-in types. You can actually overload operators on some simple types such as enum: enum SimpleType { stA, stB, stC }; To overload an operator, one operand must be of class or enum type. Enum is NOT a simple type. Does your claim have any basis in the C++ standard? From a naive perspective, an enum is pretty much a simple type. From a formal perspective, SimpleType would qualify as a "Simple type specifier"(§7.1.5). But the real point is that I don't think that the unspecific wording should be interepreted to the detriment of the OP. Quote: However, while functions can be overloaded on array parameters, Nope. Any array in a function argument is converted to pointer to the element type for the purposes of overloading. Not if this array is passed by reference, as in the example I provided. See §8.3.5: the decay of array to pointer applies if the parameter is of type "array of T". This does not include parameters that would be of type "reference to array of T". Quote: void add( vec3& a, vec3 const& b ) // ok, fully valid and identical to: void add(int*&, int*const& ) for overloading purposes. Not true - a reference to a pointer is not equivalent to a reference to an array. Did you try to compile the sample code I had provided ? Quote: This is an important distinction as: typedef int vec4[4]; void add(vec4, vec4); void add(vec3, vec3); yield the same signature and make the program ill-formed. Yes - in your modified example. But the following functions have distinct signatures: void add(vec4&, vec4&); void add(vec3&, vec3&); Quote: It is much safer and easier to use a struct wrapping And we naturally agree on that, I believe. Regards, Ivan -- http://ivan.vecerina.com/contact/?subject=NG_POST <- email contact form Back to top Ron Natalie Guest Posted: Fri Dec 17, 2004 3:47 pm    Post subject: Re: Redefining operators in C++ Ivan Vecerina wrote: Quote: To overload an operator, one operand must be of class or enum type. Enum is NOT a simple type. Does your claim have any basis in the C++ standard? From a naive perspective, an enum is pretty much a simple type. Certainly, or I would not have made it. 3.9.2 defines enum as a compound type. Quote: From a formal perspective, SimpleType would qualify as a "Simple type specifier"(§7.1.5). A simple type specifier is just one that can be expressed as a single word. It can be anything from a class to a int. There are fundamental types (the proper antonym to compound type) that are not expressed with simple type specifiers: unsigned short is not. std::exception is. Quote: Back to top Ivan Vecerina Guest Posted: Sat Dec 18, 2004 8:32 am    Post subject: Re: Redefining operators in C++ "Ron Natalie" <ron (AT) sensor (DOT) com> wrote Quote: Ivan Vecerina wrote: To overload an operator, one operand must be of class or enum type. Enum is NOT a simple type. Does your claim have any basis in the C++ standard? From a naive perspective, an enum is pretty much a simple type. Certainly, or I would not have made it. 3.9.2 defines enum as a compound type. So let's call it a simple compound type I just disagree that "simple" had to imply "fundamental" in the context of the OP. Kind regards, Ivan -- http://ivan.vecerina.com/contact/?subject=NG_POST <- email contact form Back to top Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First         C++Talk.NET Forum Index -> C++ language (comp.lang.c++) All times are GMT Page 1 of 1   Jump to: Select a forum C/C++----------------C LanguageC Language (Moderated)C++ Language (Moderated)C++ language (comp.lang.c++)C++ language, library and standards Non-English C/C++ Newsgroups----------------C++ (German)C++ (French)  You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum Powered by phpBB © 2001, 2006 phpBB Group SEO toolkit © 2004-2006 webmedic.