[xvalue][msvs/gcc][bug] member function with ref-qualifier

@hoggy · Регистрация: 15.11.2014

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

добрый вечер.

следующий код работает как и ожидается.
и прекрасно компиляется gcc:

http://rextester.com/VASW79342

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
#include <string>
 
struct some
{
    template<class T>
    T&& foo()&& noexcept{ return ::std::move(val); }
    
    template<class T>  operator T&&()&& noexcept
    {
        return std::move(*this).foo<T>();
    }
    
    std::string val = "ololo";
};
 
int main()
{
    some s;
    std::string i = std::move(s);
    std::cout << "'" << i     << "'\n";
    std::cout << "'" << s.val << "'\n";
}

output:

Code
1
2
'ololo'
''

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

причем, нужно иметь возможность изнутри дергать за другие
ref-qualifier`s методы.

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

теперь этот же самый код, только на компиляторах вижуал студии:

http://rextester.com/ZKDT99666

Code
1
2
3
4
5
source_file.cpp(20): error C2440: 'initializing': cannot convert from 'some' to
'std::basic_string<char,std::char_traits<char>,std::allocator<char>>'
source_file.cpp(20): note: No constructor could take the source type, 
or constructor overload resolution was ambiguous
Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x64

что за ...
и как заставить работать студийный компиль?

@John C Reynolds · 13.02.2018, 21:07

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

как заставить работать студийный компиль?

Обновить.

@hoggy · 13.02.2018, 21:12 **[ТС]**

Сообщение от John C Reynolds

Обновить.

найдете что нибудь поновее, чем 19.00.23506,
дайте знать.

@John C Reynolds · 13.02.2018, 21:14

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

найдете что нибудь поновее, чем 19.00.23506,
дайте знать.

Нашёл. Даю.

@gray_fox · 14.02.2018, 12:07

hoggy, я думаю проблему можно свести к тому, что VC в случае шаблонного оператора преобразования выбирает ф-ю с неверным ref-qualifier.

В случае с operator T
http://rextester.com/JNQRC50672

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#include <iostream>
#include <string>
 
struct some
{
    template<class T>
    operator T() & noexcept
    {
        std::cout << "&\t" << __FUNCTION__ << std::endl;
        return std::move(val);
    }
    
    template<class T>
    operator T() && noexcept
    {
        std::cout << "&&\t" << __FUNCTION__ << std::endl;
        return std::move(val);
    }
        
    std::string val = "ololo";
};
 
int main()
{
    some s;
    std::string i = std::move(s);
}

почему-то выбирается operator () &.

В случае с operator std::string
http://rextester.com/PJCWYI24748

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <iostream>
#include <string>
 
struct some
{
    operator std::string() & noexcept
    {
        std::cout << "&\t" << __FUNCTION__ << std::endl;
        return std::move(val);
    }
    
    operator std::string() && noexcept
    {
        std::cout << "&&\t" << __FUNCTION__ << std::endl;
        return std::move(val);
    }
        
    std::string val = "ololo";
};
 
int main()
{
    some s;
    std::string i = std::move(s);
}

выбирается, как и можно ожидать, operator std::string() &&.

@hoggy · 14.02.2018, 16:41 **[ТС]**

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

я думаю проблему можно свести к

прежде чем эту тему создавать, я все эти ходы уже исследовал.

мне не нужно сводить проблему к.
мне нужно её как то порешать.

сейчас на препроцессоре разруливается,
если студия - мув оптимизация летит к черту))

@Kastaneda · 14.02.2018, 17:15

Костыльный костыль

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#include <iostream>
#include <string>
 
#ifdef _MSC_VER
#define DOUBLE_AMPERSAND
#else
#define DOUBLE_AMPERSAND &&
#endif
 
struct some
{
    template<class T>
    T&& foo()&& noexcept{ return ::std::move(val); }
    
    template<class T>  operator T&&() DOUBLE_AMPERSAND noexcept
    {
        return std::move(*this).foo<T>();
    }
    
    std::string val = "ololo";
};
 
int main()
{
    some s;
    std::string i = std::move(s);
    std::cout << "'" << i     << "'\n";
    std::cout << "'" << s.val << "'\n";
}

@gray_fox · 14.02.2018, 21:00

hoggy, move есть возможность как-нибудь подменить (например будет std::string i = my_move(s); вместо std::string i = std::move(s);)? Тогда можно например замисюзать volatile вместо &&, что бы различать rvalue от lvalue )

@hoggy · 14.02.2018, 21:34 **[ТС]**

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

Костыльный костыль

не работает в принципе.

Добавлено через 1 минуту

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

есть возможность как-нибудь подменить (например будет std::string i = my_move(s); вместо std::string i = std::move(s)

?

есть возможность отписать баг Гейцу Биллу,
и забить на оптимизацию до лучших времен.

Croessmah · 14.02.2018, 21:43

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

отписать баг Гейцу Биллу

Думаю, ему пофиг.

@hoggy · 14.02.2018, 22:30 **[ТС]**

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

Думаю, ему пофиг.

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

@lArtl · 15.02.2018, 00:35

Сообщение от John C Reynolds

найдете что нибудь поновее, чем 19.00.23506,
дайте знать.

Все нормально компилится, версия 19.12.25835

@tmpValue · 15.02.2018, 02:00

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

в отличии от вас, ниосиляторов

Осилятор - это когда гвозди лобом забивать вместо использовать разум по назнчению. Знаем, проходили.

@Kastaneda · 15.02.2018, 08:24

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

не работает в принципе.

УМВР

@John C Reynolds · 15.02.2018, 11:15

lArtl, зачем ты приписываешь мне чужие слова?
Я-то в курсе, что на 19.10.что-то-там работает.

@hoggy · 15.02.2018, 12:11 **[ТС]**

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

УМВР

да так лихо, что мувит lvalue, огаа

@lArtl · 15.02.2018, 14:07

Сообщение от John C Reynolds

lArtl, зачем ты приписываешь мне чужие слова?

Цитировал из поста, не обратил внимание

Новые блоги и статьи Все статьи Все блоги /
Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	14.02.2018, 21:00
	hoggy, move есть возможность как-нибудь подменить (например будет `std::string i = my_move(s);` вместо `std::string i = std::move(s);`)? Тогда можно например замисюзать volatile вместо &&, что бы различать rvalue от lvalue ) 0

@John C Reynolds 3 / 3 / 0 Регистрация: 10.02.2018 Сообщений: 11
	15.02.2018, 11:15
	lArtl, зачем ты приписываешь мне чужие слова? Я-то в курсе, что на 19.10.что-то-там работает. 0