себя некоторое неизменяемое одинаковое для всех экземпляров значение? В моём случае (если это x-y), у меня есть трейт file_watcher::Context, и я хочу, чтобы все реализации этого трейта отдавали откуда-то экземпляр (или ссылку на экземпляр) перечисления RecursiveMode, при этом экземпляр RecursiveMode не должен меняться (т.е. если получить его второй раз из того же места, то значение будет тем же). Делать структуру-обёртку, где хранить Context: file_watcher::Context и RecursiveMode, не хочется, т.к. это будет в рантайме, а если привязать к типу, то можно в компайл-тайме узнать значение и ничего нигде не хранить
> а если привязать к типу, то можно в компайл-тайме узнать значение и ничего нигде не хранить А что в этом плохого?
В том, чтобы хранить в рантайме?
Тогда зачем его к чему-то рантаймовому привязывать?
Чтобы определить незначительно различающееся в одном месте поведение, но не разрешать его переопределять, а давать выбор юзеру из нескольких вариантов
Так а чем тогда ассоциированная константа не подходит?
Для начала вообще неочевидно, что такое экземпляр трейта
Ой! Всё, что реализует трейт
Я не знал, что их там можно указывать
Обсуждают сегодня