Наследование второго уровня базового класса конструктор: бесшумный ошибка

Question

я столкнулся с очень неприятной ошибкой сегодня, вот MWE:

#include <iostream> 

class X { 

public: 
    X() { std::cout << "Default" << std::endl; } 
    X(int a) { std::cout << a << std::endl; } 
}; 

class Y : public X { }; 

class Z : public Y { 
    using X::X; 
}; 

int main() { 
    Z instance{3}; 
} 

Вопреки моим ожиданиям, «Default» печатается. Понятно, что код неисправен, потому что унаследованные конструкторы Z попытаются инициализировать X без указания способа построения Y(∗). Но все-таки, не должен ли компилятор жаловаться? В чем причина конструктора по умолчанию Y (а затем X), вызываемого, полностью молча игнорируя мой параметр 3? Является ли это документированным где-то в стандарте? Или это ошибка в моем компиляторе?

Мое окружение - gcc version 6.2.1 20160916 (Red Hat 6.2.1-2). Предупреждение о компиляторе не производится даже с -Weffc++ -Wall -Wextra -pedantic.

Answer 1

Это ошибка g ++, код недействителен. Только Конструкторы от прямых оснований могут быть унаследованы:

[namespace.udecl] § 3. Если такое с использованием декларированием имен конструктора, то вложенного именем спецификатор Назовет прямой базовый класс определяемого класса