Прелюбопытнейшая дискуссия, товарищи плюсачи. https://www.reddit.com/r/cpp/comments/6mpbtr/why_are_stdtuples_constructors_all_noexceptfalse/

а можно class member function добавить модификатор "нельзя использовать this"? :)

как const и && только this=delete

а можно class member function добавить модификатор "нельзя использовать this"? :)

то есть чтобы внутри него нельзя было использовать this?

то есть чтобы внутри него нельзя было использовать this?

именно

static

а зачем?

именно

станадртными средствами нет. Советую использовать clang-tidy + самописное правило

то есть чтобы внутри него нельзя было использовать this?

да, конечно, объяви ее static

static

Вы можете самостоятельно понять, что это не то же самое. Это не вопрос в supapro :)

да, конечно, объяви ее static

да не это человеку надо

очевидно же

Я не могу делать виртуальную static функцию

да не это человеку надо

но в целом это именно то что нужно, static + ручной dispatch

Я могу сделать аналогичную вещь через RTTI и статическую функцию, да, но это наркомания

можно еще внутри лямбду исползовать которая this не капчурит

virtual void test() { []{ no this bitches }(); }

это часть сигнатуры метода, как и const

этот метод в потомках не имеет права использовать this явно

Я могу сделать аналогичную вещь через RTTI и статическую функцию, да, но это наркомания

^

*yawn* ну сделай ему сигнатуру сам

сигнатура это ж просто буковки

у меня сейчас это просто синтаксис генератора, не поддерживаемый плюсами

так что я уже сделал сам, да

по сути это виртуальный атрибут класса

такое чувство, что ты пишешь на сях, а не на плюсах)

потому что на самом деле в плюсах есть только одна действительно стоящая вещь - компилятор можно заставлять делать проверки

и эта вещь стоит всего остального, да

по крайней мере эта вещь, из-за которой C++ не безнадежен

ты мог бы писать на хаскеле и не иметь этих проблем, ныл бы в другой чатик

а можно class member function добавить модификатор "нельзя использовать this"? :)

А можешь в двух словах объяснить, нафига тебе это?

А можешь в двух словах объяснить, нафига тебе это?

Мне нужно "виртуальную статическую функцию"

ты мог бы писать на хаскеле и не иметь этих проблем, ныл бы в другой чатик

я не специалист по хаскелю (не знаю его совсем), но у меня на него срабатывает эвристика "если он так хорош, почему на нем не пишут все" :)

Мне нужно "виртуальную статическую функцию"

Чувствую, что пожалею об этом... А как вы собиаретесь это использовать в коде?

Мне нужно "виртуальную статическую функцию"

Может, надо наследовать синглтон?

Чувствую, что пожалею об этом... А как вы собиаретесь это использовать в коде?

Например, у меня есть иерархия возможных "примитивных" типов генератора (не может быть реализована статикой), и для каждого типа определены его параметры

Чувствую, что пожалею об этом... А как вы собиаретесь это использовать в коде?

Грубо говоря, реализация на динамическом полиморфизме того, что на статическом полиморфизме будет class traits

а можете пример в виде кода написать? А то я всё еще не догоняю

struct ReflectionType { virtual ~ReflectionType() {}; virtual bool isMoveConstructible() /*this(delete)*/ = 0; }; std::unique_ptr<ReflectionType> ReflectionTypeByName(std::string name) { //фабрика } template <typename Type> struct KnownCppType: ReflectionType { virtual bool isMoveConstructible() /*this(delete)*/ { return std::is_move_constructible<Type>::value; } };

никак не объясняет зачем тут this=delete

struct ReflectionType { virtual ~ReflectionType() {}; virtual bool isMoveConstructible() /*this(delete)*/ = 0; }; std::unique_ptr<ReflectionType> ReflectionTypeByName(std::string name) { //фабрика } template <typename Type> struct KnownCppType: ReflectionType { virtual bool isMoveConstructible() /*this(delete)*/ { return std::is_move_constructible<Type>::value; } };

Фишка в том что надо делать генераторы в реал тайме на основе данных ReflectionType?

никак не объясняет зачем тут this=delete

затем, что на самом деле следующая реализация семантически ошибочна: struct HackedReflectionType: ReflectionType { bool isMoveConstructible_; virtual bool isMoveConstructible() { return isMoveConstructible_; } };

затем, что на самом деле следующая реализация семантически ошибочна: struct HackedReflectionType: ReflectionType { bool isMoveConstructible_; virtual bool isMoveConstructible() { return isMoveConstructible_; } };

Так это явный выстрел себе в ногу Зачем от этого защищать?

Так это явный выстрел себе в ногу Зачем от этого защищать?

А зачем const писать? :)

А зачем const писать? :)

Смотря на что

Смотря на что

Можно вообще не писать никогда. Кажется, утверждалось, что const не учитывается компилятором, кроме как для проверки того, что кто-то не стреляет себе в ногу

Всем привет, кто-нибудь сталкивался с раскраской отдельных элементов SVG-файла путём клика на области этих элементов? Типа, определять по координатам точки, какой это тэг файла. Если что, пишется это на виджетах Qt

struct ReflectionType { virtual ~ReflectionType() {}; virtual bool isMoveConstructible() /*this(delete)*/ = 0; }; std::unique_ptr<ReflectionType> ReflectionTypeByName(std::string name) { //фабрика } template <typename Type> struct KnownCppType: ReflectionType { virtual bool isMoveConstructible() /*this(delete)*/ { return std::is_move_constructible<Type>::value; } };

Можно вот так попробовать (тут страшненько написано, нужно причесать): ` struct ReflectionType { private: virtual ~ReflectionType() {}; friend class ReflectionTypeImpl; public: virtual bool isMoveConstructible() const noexcept = 0; }; template <class Impl> struct ReflectionTypeImpl : ReflectionType{ bool isMoveConstructible() const noexcept override { return Impl::get_something(); } }; std::unique_ptr<ReflectionType> ReflectionTypeByName(std::string name) { //фабрика } template <typename Type> struct KnownCppType: ReflectionTypeImpl<KnownCppType<Type> > { static bool get_something() noexcept { return std::is_move_constructible<Type>::value; } };

Всем привет, кто-нибудь сталкивался с раскраской отдельных элементов SVG-файла путём клика на области этих элементов? Типа, определять по координатам точки, какой это тэг файла. Если что, пишется это на виджетах Qt

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

хм, интересная идея, спасибо!

Можно вот так попробовать (тут страшненько написано, нужно причесать): ` struct ReflectionType { private: virtual ~ReflectionType() {}; friend class ReflectionTypeImpl; public: virtual bool isMoveConstructible() const noexcept = 0; }; template <class Impl> struct ReflectionTypeImpl : ReflectionType{ bool isMoveConstructible() const noexcept override { return Impl::get_something(); } }; std::unique_ptr<ReflectionType> ReflectionTypeByName(std::string name) { //фабрика } template <typename Type> struct KnownCppType: ReflectionTypeImpl<KnownCppType<Type> > { static bool get_something() noexcept { return std::is_move_constructible<Type>::value; } };

С практической точки зрения у меня есть генератор, который просто сгенерирует в этом месте вызов статической функции и форвард аргументов. С теоретической точки зрения мне не очень нравится данное решение, поскольку совершенно не очевидно, как там поддерживать наследование (очень хочется делать, чтобы фактический ReflectionType для Derived наследовал фактический ReflectionType для Base).

Можно вот так попробовать (тут страшненько написано, нужно причесать): ` struct ReflectionType { private: virtual ~ReflectionType() {}; friend class ReflectionTypeImpl; public: virtual bool isMoveConstructible() const noexcept = 0; }; template <class Impl> struct ReflectionTypeImpl : ReflectionType{ bool isMoveConstructible() const noexcept override { return Impl::get_something(); } }; std::unique_ptr<ReflectionType> ReflectionTypeByName(std::string name) { //фабрика } template <typename Type> struct KnownCppType: ReflectionTypeImpl<KnownCppType<Type> > { static bool get_something() noexcept { return std::is_move_constructible<Type>::value; } };

Но какое-то внутреннее ощущение мне подсказывает, что такие вещи <s>нужны</s> семантически правильны, поскольку виртуальная функция с сигнатурой this(delete) уже генерируется компилятором неявно (запрос vftbl)

https://vittorioromeo.info/index/blog/zeroalloc_continuations_p1.html

@antoshkka а это валидное объявление другом friend class ReflectionTypeImpl; при условии, что ReflectionTypeImpl template?

вроде, должно быть template<typename T> friend class ReflectionTypeImpl;

@zamazan4ik а ты смотрю активно пишешьв пропозалах)

@zamazan4ik а ты смотрю активно пишешьв пропозалах)

ну... я не сказал бы, что это аквтино ? Просто я стараюсь отписываться там, где мне интересно и есть, что сказать. Тем более, что в некоторых вещах я реально чем-то могу помочь

ну... я не сказал бы, что это аквтино ? Просто я стараюсь отписываться там, где мне интересно и есть, что сказать. Тем более, что в некоторых вещах я реально чем-то могу помочь

? да за сегодня уже 3-4 письмо от тебя вижу

ERROR: S client not available

? да за сегодня уже 3-4 письмо от тебя вижу

что ж поделать - пока на работе есть минут 5-10 во время билда, почему бы не ответить?)

/stat@combot

combot.org/chat/-1001031904034

как випдишь, я и здесь флудить успеваю неплохо

самый активный участник чата за полгода

что ж поделать - пока на работе есть минут 5-10 во время билда, почему бы не ответить?)

а я тупой :) хз че там писать

я вроде один раз написал, меня не поняли слегка я подзабил

я вроде один раз написал, меня не поняли слегка я подзабил

Зря

да я читаю зато) там про extended классы было

как это, в шарпах есть такое

а кто стандарт читал? Чтобы от корки до корки.

А кто не читал?

я не читал

как это, в шарпах есть такое

Расширение класса?

Такую штуку я очень жду?

На с++ писать не бросим)

Расширение класса?

дааа

во в шарпах так и называются C# extension methods

Такую штуку я очень жду?

дак не ясно как ее готовить слегка

учитывая юниты трансляции всякие

Расширения в модуль, потом юзаешь модуль

А что там технически такое расширение?

Расширения в модуль, потом юзаешь модуль

а если в .спп файле это делаешь? какие нахер модули?

А что там технически такое расширение?

есть класс, мб базовый типа std::string ты добавляешь в него свой метод

удобна

Миксины шоле?

ну это может быть реализовано одним костылем, правда, по-хорошему нужно иметь модуль, который их все знает