Почему компилятор не генерирует ошибки компиляции, если неправильный тип аргумента передается в список инициализации структуры?

Question

я определил-структуру, которая имеет конструктор:

struct MyStruct 
{ 
    MyStruct(const int value) 
     : value(value) 
    { 
    } 
    int value; 
}; 

и следующие объекты:

int main() 
{ 
    MyStruct a (true); 
    MyStruct b {true}; 
} 

Но я не получил ни одной ошибки компиляции, либо с MVS2015 или Xcode 7.3.1 ,

1. Почему у меня нет ошибок при компиляции?
2. Как заставить компилятор помочь мне обнаружить это? (Первоначально структура была написана, чтобы иметь bool данных, но по прошествии некоторого времени, код изменился и стал boolint и были введены несколько ошибок.)

Answer 1

bool может быть неявно преобразован в int в способе, которым это значение сохранения. Единственными запрещенными преобразованиями с инициализацией скобки являются narrowing conversions (например, обратный bool{42}).

Если вы хотите, чтобы убедиться, что ваш класс конструктивна только с int, то прямой путь просто delete все остальные конструкторы:

struct MyStruct 
{ 
    explicit MyStruct(int i) : value(i) { } 

    template <typename T> 
    MyStruct(T t) = delete; 

    int value; 
}; 

Здесь MyStruct{true} и MyStruct(false) принесут звонки в MyStruct::MyStruct<bool> , который определяется как удаленный и, следовательно, плохо сформирован.

Преимущество этого над static_assert состоит в том, что все черты типа будут давать правильные значения. Например, std::is_constructible<MyStruct, bool> - std::false_type.

Answer 2

Поскольку boolможет быть неявно преобразован к int.

Это языковая функция, которую вы не можете отключить, извините.

Answer 3

Вот конструкция, которая позволяет только инициализировать класс от int значения:

#include <type_traits> 

struct MyStruct 
{ 
    template <typename T> 
    MyStruct(T t) : value(t) 
    { 
     static_assert(std::is_same<T, int>::value, "Bad!"); 
    } 

    int value; 
}; 

Это потому, что аргумент шаблона вычет требуется по этому шаблону конструктора будет производить точный тип аргумента, а не выполнять преобразования , поэтому вы можете выполнять тесты этого типа.

Возможно, вы также должны использовать или использовать SFINAE для ограничения конструктора, так что MyStruct не может считаться конструктивным из ничего.

Кроме того, вероятно, вы также должны сделать шаблон конструктора explicit, чтобы случайные целые числа не становились MyStruct экземплярами.

Другими словами, я бы писать так:

struct MyStruct 
{ 
    template <typename T, 
       typename = std::enable_if_t<std::is_same<T, int>::value>> 
    MyStruct(T t) : value(t) {} 

    // ... 

Answer 4

Самое простое решение объявить конструктор Ьоо как удаленные, не так ли?

struct MyStruct 
{ 
    MyStruct(bool) = delete; 

    MyStruct(const int value) 
    : value(value) 
    { 
    } 
    int value; 
}; 

пример вывод ошибка:

... 
/Users/xxxxxxx/play/fast_return/skeleton/main.cpp:68:14: error: call to deleted constructor of 'MyStruct' 
    MyStruct b {true}; 
      ^~~~~~~ 
/Users/xxxxxxx/play/fast_return/skeleton/main.cpp:57:9: note: 'MyStruct' has been explicitly marked deleted here 
     MyStruct(bool) = delete; 
     ^
2 errors generated. 

Answer 5

Значение true преобразуется в значение 1 (int).