2

Can anyone explain why the following code compiles? I expect it to get an error where the double constant 3.3 can not be converted to int, since I declare the constructor to be explicit.

class A
{
public:
    int n;
    explicit A(int _n);
};

A::A(int _n)
{
    n = _n;
}

int main()
{
    A a(3.3); // <== I expect this line to get an error.
    return 0;
}
3
  • 9
    I think you might have misunderstood what the explicit keyword does. Commented Dec 7, 2015 at 8:57
  • 2
    Nope, this line will give you error A b = 24; Commented Dec 7, 2015 at 9:03
  • This is what uniform (i.e. brace-enclosed) initialization is for: A a{3.3}; would fail because it's a narrowing conversion (double to int). However A a(3.3); does not because narrowing conversions are allowed. Commented Dec 7, 2015 at 12:25

2 Answers 2

3

It works in the other way around. Let's define in addition to your code

void f(A a)
{
}

int main()
{
    A a(3.3); // <== I expect this line to get an error.
    f(5);
    return 0;
}

Without the word explicit it would compile, with the explicit it would report an error. The keyword forbids casting from integer to A in situations like this.

Sign up to request clarification or add additional context in comments.

Comments

2

explicit class_name ( params ) (1)
explicit operator type ( ) (since C++11) (2)

1) specifies that this constructor is only considered for direct initialization (including explicit conversions)

2) specifies that this user-defined conversion function is only considered for direct initialization (including explicit conversions)

In your case you are using direct initialization to construct an instance of type A by doing this:

A a(3.3);

The explicit keyword does not stop the compiler from implicitly casting your argument from a double type to an int. It stops you from doing something like this:

A a = 33;

Comments

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.