54

After reading this article I made a point that int () yields 0 because the temporary int is value initialized and not because int() calls the default constructor for int. (The article is flawed according to my understanding.)

I also said that primitive (built-in) types don't have constructors. The original author asked me to check Section $10.4.2 (TC++PL) which says

Built-in types also have default constructors ($6.2.8)

But I still think that the statement "C++ allows even built-in type (primitive types) to have default constructors." is flawed (as per C++03).

I think Bjarne in TC++PL has mixed up "constructor like notation i.e ()" with actual constructor call. Value initialization was not introduced at that time when Bjarne was writing the book, right? So is the text in TC++PL incorrect as per C++98 and C++03?

What do you guys think?

EDIT

I asked Bjarne personally (via mail) regarding the flawed text in TC++PL and this was his reply

I think you mix up "actual constructor calls" with conceptually having a constructor. Built-in types are considered to have constructors (whatever words the standard uses to describe their behavior).

12
  • 13
    Why is this being closed as subjective and argumentative? This has got a "Yes/No" answer for sure. Feb 25, 2011 at 3:47
  • I think this contradiction has come up on SO before, by the way. TC++PL simplifies and generalizes things a bit too much in some areas, and is wrong in this case.
    – GManNickG
    Feb 25, 2011 at 3:51
  • If it looks like a constructor and walks like a constructor and talks like a constructor... does it really matter if it isn't a constructor?
    – user541686
    Feb 25, 2011 at 3:57
  • Sounds like an argument over terminology to me.
    – Steve
    Feb 25, 2011 at 4:07
  • 2
    @Keith : Value initialization was introduced in C++03. Section 8.5/5. "An object whose initializer is an empty set of parentheses, i.e., (), shall be value-initialized." Feb 25, 2011 at 5:19

3 Answers 3

57

Simple Answer: Technically No.

Long Answer:

No. But!

The syntax you use to initialize them makes them look like they are being constructed by a default constructor or a default copy constructor.

int x0(5);     // Looks like a constructor. Behaves like one: x is initialized.
int x1{5};

int y0();      // Fail. Actually a function declaration.
// BUT
int y1{};      // So new syntax to allow for zero initialization
int z0 = int();// Looks like a constructor. Behaves like a constructor (0 init).
int z1 = int{};

int a0(b);     // Again.
int a1{b};

So technically there are no constructors for basic-POD types. But for all intents and purposes they act just like they have a copy constructor and default constructor (when initialized with the braces).

If it looks like a duck and quacks like a duck, then its very duck like.

14
  • 1
    so the syntax like : int x(5); gets converted to int x; x=5; ? thanks :)
    – Mr.Anubis
    May 21, 2012 at 20:32
  • 7
    @SoulReaper: Not quote. int x(5); is equivalent to int x = 5. Though after compilation I doubt you will see any difference in the object from any of these. May 21, 2012 at 20:42
  • @LokiAstari To me the int() is the most perplexing. If not a constructor what even is that? Dec 11, 2014 at 12:03
  • 5
    @JonathanMee: It forces zero initialization rather than default initialization (I forget the exact name of the technique). If you think of a user defined type T with a compiler defined constructors. Then T x;T* y = new T; is default initialization T x = T();T* y = new T() is zero initialization. It was designed so that templates would work the same with user-defined types and POD types. Dec 11, 2014 at 18:50
  • 1
    @LokiAstari If you're interested, I asked for the, "name of the technique" here: stackoverflow.com/q/27443532/2642059 Dec 12, 2014 at 12:55
32

A constructor is a member function (constructors are fully specified in clause 12 of the C++ Standard, which covers special member functions like constructors and destructors).

A member function can only be defined for a class type (C++03 9.3/1 says "Functions declared in the definition of a class, excluding those declared with a friend specifier, are called member functions of that class").

So non-class types (including fundamental types, array types, reference types, pointer types, and enum types) do not have constructors.

I don't have a copy of The C++ Programming Language to read the context of the quote that "Built-in types also have default constructors," but I would guess that Stroustrup is either using the term "constructor" in a loose, non-technical sense, or the meaning of the term or the way in which it is used in the Standard changed between when the book was published and when the language was standardized. I'd guess the former is far more likely than the latter.

5

As others have pointed out, the Standard contradicts TC++PL in a few instances, often related to terminology. Bjarne Stroustrup himself summarizes the situation well:

(...) However, [TC++PL] is not a reference manual or the standards text. If you need 100% precise and complete information you'll have to consult the text of the ISO C++ standard. (...)

1

Not the answer you're looking for? Browse other questions tagged or ask your own question.