Показатель константы значений параметра функции?

Question

Можно ли использовать черты или другие методы, чтобы определить, были ли значения параметров функции (или метода) объявлены как const? Например, в приведенном ниже коде fn_params можно использовать для определения того, что 1-й параметр имеет тип const int *; однако второй параметр идентифицируется только как имеющий тип double.

float foo(const int *, const double) { return 7.6f; } 

template <typename T, typename ...Ts> 
struct fn_params<T(*)(Ts...)> { using type = std::tuple<Ts...>; }; 

Answer 1

Нет, не существует, в основном потому, что нет способа определить, какие параметры может выполнять функция. Ваш запрос неоднозначен даже в простых случаях, таких как шаблоны, которые могут быть явно созданы с помощью типов const, даже если обычные правила дедукции сделают параметры неконстантными, не говоря уже о перегрузках и подобных вопросах.

Прежде чем вы сможете спросить, являются ли параметры const, вы должны знать, какие параметры есть, а это невозможно.