Bug компилятора с++ Visual Studio 2015? Или undefined behavior ?

@eva2326 · Регистрация: 17.05.2015

Author24 — интернет-сервис помощи студентам

Всем привет!
Наткнулась на одну любопытную штуку.

Оказывается typedef можно объявлять повторно!
У них иммунитет против множественного объявления.

Можно делать вот так:

C++

// по нескольку раз объявлять одно и тоже
using type = int;
using type = int;
using type = int;

Ошибка компиляции будет только если повторный алиас отличается от предыдущего.

Где можно об этом почитать?
Кто ни будь может привести цитату из стандарта,
где об этом написанно?

А то может на самом деле так делать нельзя?
Может быть такое использование - UB?

Теперь о проблемах.
Следующий код успешно компилируется на всех трех компиляторах (gcc/clang/cl):

C++

#include <type_traits>
 
    template<class t> 
    using degradate = ::std::remove_cv_t<
        ::std::remove_reference_t<t> 
    >;
 
    template<class t> 
    using degradate = ::std::remove_cv_t<
        ::std::remove_reference_t<t> 
    >;
 
int main()
{
    volatile degradate<int> v{3};
    (void) v;
}

Смущает, что компилятор cl (msvc2015 update 1) делает предупреждение:

Код

warning C4700: uninitialized local variable 'v' used

Диагностика не соответствует реальному положению дел,
ведь переменная в коде явным образом инициализирована.

Если закомментировать повторный алиас:

C++

#include <type_traits>
 
    template<class t> 
    using degradate = ::std::remove_cv_t<
        ::std::remove_reference_t<t> 
    >;
/*
    template<class t> 
    using degradate = ::std::remove_cv_t<
        ::std::remove_reference_t<t> 
    >;
*/
 
int main()
{
    volatile degradate<int> v{3};
    (void) v;
}

Компилятор перестает делать ложное предупреждение.

Дальше - ещё интереснее.

Следующий код успешно собирается gcc/clang
С компилятором msvc2015 update 1 творится что-то очень странное:

C++

#include <iostream>     // <--- просто добавляем ещё один заголовок
#include <type_traits>
 
    template<class t> 
    using degradate = ::std::remove_cv_t<
        ::std::remove_reference_t<t> 
    >;
 
    template<class t> 
    using degradate = ::std::remove_cv_t<
        ::std::remove_reference_t<t> 
    >;
 
int main()
{
    degradate<int> v = 3;
    (void) v;
}

Код

Error(s):
C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\INCLUDE\xlocnum(1341): error C2065: '_Buf': undeclared identifier
C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\INCLUDE\xlocnum(1338): note: while compiling class template member function 'std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>> std::num_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>>::do_put(_OutIt,std::ios_base &,_Elem,const void *) const'
        with
        [
            _OutIt=std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>,
            _Elem=wchar_t
        ]
C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\INCLUDE\xlocnum(1573): note: see reference to class template instantiation 'std::num_put<wchar_t,std::ostreambuf_iterator<wchar_t,std::char_traits<wchar_t>>>' being compiled
C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\INCLUDE\xlocnum(1342): error C2065: '_Buf': undeclared identifier
Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x64

Если закомментировать повторный алиас, ошибка пропадает.

То ли использование повторного алиаса приводит к UB,
то ли мелкомягкие опять накосячили...

Не понятно, легально ли использовать повторные алиасы,
или это - UB ?

@oleg-m1973 · 05.06.2019, 14:35

Сообщение от eva2326

Где можно об этом почитать?
Кто ни будь может привести цитату из стандарта,
где об этом написанно?

http://www.open-std.org/jtc1/s... /n4606.pdf

7.1.3 The typedef specifier

In a given non-class scope, a typedef specifier can be used to redefine the name of any type declared in that
scope to refer to the type to which it already refers. [ Example:
typedef struct s { /∗ ... ∗/ } s;
typedef int I;
typedef int I;
typedef I I;
— end example ]

@oleg-m1973 6770 / 4564 / 1843 Регистрация: 07.05.2019 Сообщений: 13,726
	05.06.2019, 14:35	2
	Сообщение было отмечено eva2326 как решение Решение Сообщение от eva2326 Где можно об этом почитать? Кто ни будь может привести цитату из стандарта, где об этом написанно? http://www.open-std.org/jtc1/s... /n4606.pdf 7.1.3 The typedef specifier In a given non-class scope, a typedef specifier can be used to redefine the name of any type declared in that scope to refer to the type to which it already refers. [ Example: typedef struct s { /∗ ... ∗/ } s; typedef int I; typedef int I; typedef I I; — end example ] 1

Опции темы

Bug компилятора с++ Visual Studio 2015? Или undefined behavior ?

Решение