Solved

typename T - statement return Element < T()

Posted on 2004-10-18
9
276 Views
Last Modified: 2013-12-14

Question with regard to the typename T in this statement  'return Elem < T()'.  The typename per the example is 'int' hence the return statement equates to "return Elem < int()".    For Elem 3, we have " return 3 < int() " but I'm confused on what the default construction call for the built in type - in this case - int() equates to?   ie.  "return 3 < ???"


# include <iostream>
# include <string>
# include <iterator>
# include <algorithm>
# include <sstream>
# include <iomanip>
# include <vector>

using namespace std;

// [Predicate] object.
struct RemoveLessThanZero
 {
  template<typename T>
  bool operator()( const T& Elem ) const
    {
     return Elem < T();
    }
 };

int main()
 {
  int Array[] = { 3, 2, 1, 0, -1, -2, -3, -4 };

  // Calculate the size of the array.
  static const std::size_t
         NrElems( sizeof Array / sizeof* Array );

  // Construct the vector with the 'Array' elements.
  std::vector<int> V( Array, Array + NrElems );

  // Print the contents of the vector to stdout.
  std::copy( V.begin(), V.end(),
             std::ostream_iterator<int>( std::cout, " " ) );

  // Remove all negative values from the vector, with
  // the help of our [Predicate] object.
  V.erase( std::remove_if( V.begin(), V.end(),
                           RemoveLessThanZero() ), V.end() );

  // Sort the vector elements prior to printing.
  std::sort( V.begin(), V.end() );
  std::cout << std::endl;

  // Again, print the contents of the vector to stdout.
  std::copy( V.begin(), V.end(),
             std::ostream_iterator<int>( std::cout, " " ) );

  return 0;
 }
0
Comment
Question by:forums_mp
  • 3
  • 3
  • 2
  • +1
9 Comments
 
LVL 48

Accepted Solution

by:
AlexFM earned 30 total points
Comment Utility
I guess int() calls int constructor which creates int instance and sets it to 0. 3 < int() is like 3 < 0.

Line
i = int();

looks in Disassembly window by the following way:

22:       i = int();
004114DF   mov         dword ptr [ebp-4],0

This means, i = 0.

Other test:

class A
{
public:
    A()
    {
        cout << "A" << endl;
    }
};

    A a;
    a = A();

Result is:
A
A

0
 
LVL 39

Expert Comment

by:itsmeandnobodyelse
Comment Utility
>>>> return Elem < int()".    

That statement compiles but doesn't work for build-in types. So, i would call it a bug. T() creates a new int in your case, that isn't initialized --> the result is undefined.

To make it work, you have to define a member variable of type T that takes an 'empty' or 'zero' instance of type T. You can pass the empty value by the constructor or - more usual - by providing a separate init or set function. The statement above then turns to

   return Elem < m_empty;

Regards, Alex

0
 
LVL 39

Expert Comment

by:itsmeandnobodyelse
Comment Utility
>>>> I guess int() calls int constructor which creates int instance and sets it to 0

No, only VC Debugger initializes 'new' instances with zeroes. There is no 'int' constructor in C++.

Regards, Alex

0
 

Author Comment

by:forums_mp
Comment Utility

>> So, i would call it a bug.
A bug considering the output made sense on repeated runs ..

>>> To make it work, you have to define a member variable of type T that takes an 'empty' or 'zero' instance of type T. You can pass the empty value by the constructor or - more usual - by providing a separate init or set function. The statement above then turns to

For instance.
0
6 Surprising Benefits of Threat Intelligence

All sorts of threat intelligence is available on the web. Intelligence you can learn from, and use to anticipate and prepare for future attacks.

 
LVL 15

Assisted Solution

by:efn
efn earned 20 total points
Comment Utility
It's deja vu all over again...

http://www.experts-exchange.com/Programming/Programming_Languages/Cplusplus/Q_21031400.html

Summarizing:  A plain old data object whose initializer is an empty set of parentheses should be zero-initialized, as the first Alex said.  However, there are compilers that don't do this right.

--efn
0
 

Author Comment

by:forums_mp
Comment Utility

efn

The issue is not default initilization.  I understand that.  I realized though that I've interpreted the call to  V.erase/remove_if incorrectly.   The comparision is
   3 < 0
   2 < 0
   :
   :
  -4 < 0

For some reason I thought (momentary insanity i suppose :)) about an element by element comparison and was trying to figure out how T() fit in..
0
 
LVL 48

Expert Comment

by:AlexFM
Comment Utility
>> No, only VC Debugger initializes 'new' instances with zeroes.

Debugger ??
0
 
LVL 39

Expert Comment

by:itsmeandnobodyelse
Comment Utility
>> Debugger ??

I meant VC Built in 'Debug Configuration'
0
 
LVL 48

Expert Comment

by:AlexFM
Comment Utility
Program built by Microsoft VC++ compiler in Debug Configuration.
0

Featured Post

Highfive Gives IT Their Time Back

Highfive is so simple that setting up every meeting room takes just minutes and every employee will be able to start or join a call from any room with ease. Never be called into a meeting just to get it started again. This is how video conferencing should work!

Join & Write a Comment

IntroductionThis article is the second in a three part article series on the Visual Studio 2008 Debugger.  It provides tips in setting and using breakpoints. If not familiar with this debugger, you can find a basic introduction in the EE article loc…
This article shows you how to optimize memory allocations in C++ using placement new. Applicable especially to usecases dealing with creation of large number of objects. A brief on problem: Lets take example problem for simplicity: - I have a G…
This tutorial covers a step-by-step guide to install VisualVM launcher in eclipse.
The goal of the video will be to teach the user the concept of local variables and scope. An example of a locally defined variable will be given as well as an explanation of what scope is in C++. The local variable and concept of scope will be relat…

728 members asked questions and received personalized solutions in the past 7 days.

Join the community of 500,000 technology professionals and ask your questions.

Join & Ask a Question

Need Help in Real-Time?

Connect with top rated Experts

10 Experts available now in Live!

Get 1:1 Help Now