Именованные параметры C++. Не пригодились

Главная миссия именованных параметров — исключить ошибки при вызове функций и повысить читабельность кода — осуществляется.

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

struct width {
  explicit width(int val) : v{val} {}
  int v;
};

struct height {
  explicit height(int val) : v{val} {}
  int v;
};

template <typename... T> int getVolume(T... args) {
  auto t = make_tuple(args...);

  int w = get_element_by_type<width>(t).v;
  int h = get_element_by_type<height>(t).v;

  return w * h * h;
}

int _tmain(int argc, _TCHAR *argv[]) {
  cout << getVolume(height(2), width(1)) << endl;
  cout << getVolume(width(1), height(2)) << endl;

  return 0;
}

namespace detail {
template <class T, std::size_t N, class... Args>
struct get_number_of_element_from_tuple_by_type_impl {
  static constexpr auto value = N;
};

template <class T, std::size_t N, class... Args>
struct get_number_of_element_from_tuple_by_type_impl<T, N, T, Args...> {
  static constexpr auto value = N;
};

template <class T, std::size_t N, class U, class... Args>
struct get_number_of_element_from_tuple_by_type_impl<T, N, U, Args...> {
  static constexpr auto value =
      get_number_of_element_from_tuple_by_type_impl<T, N + 1, Args...>::value;
};

} // namespace detail

template <class T, class... Args>
T get_element_by_type(const std::tuple<Args...> &t) {
  return std::get<detail::get_number_of_element_from_tuple_by_type_impl<
      T, 0, Args...>::value>(t);
}

typedef struct Date {
    int day;
    int month;
    int year;
} Date;

void f(Date d);
...
    f((Date){.day = 1, .month = 2, .year = 3});

Date date = Date.getBuilder().setDay(3).setMonth("Jan").setYear(1999).build();

someMethod(user1, user2);
…
Если же объекты неравнозначны, например, метод ставит в подчинение user2 объекту user1, то совсем нелишними будут специальные типы, отражающие роли объектов.

Date theDate = createDate(2, 3, 4);

const int kDay = 2;
const int kYear = 3;
const int kMonth = 4;
Date theDate = createDate(kDay, kYear, kMonth);

Имя — это совсем не произвольная строка. Хотя бы потому, что выбирается из заранее известного множества. Еще оно, скажем, не содержит цифр (хотя тут я не уверен).

Pascals operator/ (Newtons force, Squaremeters square) {return Pascals(force.m_value/square.m_value)}

Самое время привести основную мысль статьи. Примитивным стандартным типам не место в интерфейсах реальной системы. Такие типы — просто строительные блоки, из которых нужно именно строить, а не пытаться жить внутри.