Пометить как устаревшие параметры функции в С++ 14

Правило состоит в том, что атрибут действителен, помимо прочего, для объявлений переменных (в широком смысле). Это специально не разрешено для таких объявлений, найденных в аргументах функции.

Исходное предложение, N3394, не упоминает такой вариант использования, как и документация для исходной функции в GCC (который независимо принимает эквивалентное использование) или в VS (я не проверял Clang).

Таким образом, я думаю, что это «случайность», что это разрешено, а не то, что кто-то действительно считал полезным.

Может быть полезно документировать устаревшие аргументы по умолчанию, как исследует Artyer? Да, потенциально, и неопределенно. Но, как также обнаружил Артьер, основные компиляторы на самом деле не реагируют на такое использование полезным образом.

Таким образом, в настоящее время это бесполезно, и языковая функция не была специально разработана, чтобы быть полезной в этом случае.

Скажем, у вас была такая функция:

void* allocate(std::size_t sz, void* hint = nullptr) {
    // if you give `hint` it *might* be more efficient
}

А потом вы решили, что больше не стоит пытаться делать вещи, основанные на hint. Итак, вы бы сделали это:

void* allocate(std::size_t sz, [[deprecated]] void* hint = nullptr) {
    // `hint` is ignored. The compiler warns me if I use it in the
    // function body accidentally, and people reading the function
    // signature can see that it is probably going to be ignored.
}

Это позволяет библиотеке сохранять ту же сигнатуру/ABI (поэтому вам не нужно перекомпилировать материал, который ее использует, и унаследованный код может по-прежнему использовать ее, не причиняя никакого вреда), а также предотвращает ее случайное повторное использование при изменении функция.

Но это в основном для разработчиков функции, а не для пользователей функции, в будущем, чтобы они знали, почему существует кажущийся «бесполезным» параметр.

Я также думаю, что это отключит предупреждение «неиспользуемый параметр» с флагом -Werror=unused-parameter в gcc/clang, но это не так. Использование (void) deprecated_parameter также выдает предупреждение об использовании устаревшего параметра, так что это похоже на ошибку. Если бы он отключил предупреждение о неиспользуемом параметре, это был бы еще один вариант использования [[deprecated]].

Представьте себе библиотеку, которая внедряется, используется и поддерживается в течение многих лет. Эта библиотека используется в нескольких проектах.
Если бы вы просто удалили этот параметр, все проекты должны были бы немедленно адаптировать исходный код, чтобы иметь возможность снова скомпилировать после обновления до новой версии библиотеки.
Если бы к параметру добавляется значение по умолчанию, но параметр больше не используется, проекты по-прежнему будут компилироваться без каких-либо изменений, но никто не заметит, что что-то вообще изменилось, и, возможно, какое-то поведение/функция, которая контролировалась этим параметром, не меняется. работать больше.

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