Как автоматически добавлять литеральные определения на основе одного пользовательского литерала?

C++11 предлагает пользовательские литералы. Я только начал играть с ними, что заставило меня задаться вопросом, можно ли автоматически добавить все множители SI в один литерал Я определяю?

Например, если я определяю

Length operator "" _m(long double m) {
    return Length(m); // Length in meters
}

где Length является подклассом некоторого базового класса Units, я хотел бы иметь механизм автоматического добавления (в том же духе, что и ускорители). Множители SI для всех литералов, которые возвращают a Length:

// these are added automatically when defining the literal "_m": 
                                         // Length in:
Length operator "" _Ym(long double Ym);  // Yottameters
Length operator "" _Zm(long double Zm);  // Zetameters
...                                      // ...
...                                      // ...
Length operator "" _km(long double km);  // kilometers
Length operator "" _mm(long double mm);  // millimeters
...                                      // ...       
...                                      // ...
Length operator "" _zm(long double zm);  // zeptometers
Length operator "" _ym(long double ym);  // yoctometers

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

.. или я что-то пропускаю?

Ответ 1

Я не думаю, что есть способ сделать именно то, о чем вы просите, без "причудливых макросов". Это насколько я могу получить:

template<typename T, T (*op)(long double)>
struct SI
{
    // ...
    constexpr static T micro = op (.000001);
    constexpr static T milli = op (.001);
    constexpr static T kilo = op (1000);
    constexpr static T mega = op (1000000);
    // ...
};

struct Length
{
    constexpr Length(long double d) : _d(d) { }
    constexpr operator long double() { return _d; }
    long double _d;
};

constexpr Length operator "" _m(long double m) {
    return Length(m);
}

typedef SI<Length, ::operator "" _m> SI_Length;

int main()
{
    constexpr Length l = 3 * SI_Length::kilo;
    static_assert(l == 3000, "error");
}

Если причудливые макросы разрешены, то должно выполняться следующее:

#define DEFINE_SI_MULTIPLIERS(T, unit) \
    constexpr T operator "" _u ## unit(long double m) \
    { return ::operator "" _ ## unit(0.000001 * m); } \
    constexpr T operator "" _m ## unit(long double m) \
    { return ::operator "" _ ## unit(0.001 * m); } \
    constexpr T operator "" _k ## unit(long double m) \
    { return ::operator "" _ ## unit(1000 * m); } \
    // ...

DEFINE_SI_MULTIPLIERS(Length, m)

int main()
{
    constexpr Length l = 3.0_km;
    static_assert(l == 3000, "error");
}

Ответ 2

Вы не можете использовать аромат operator "" _m(const char *), если вы готовы самостоятельно разбирать поплавки? Это позволяет писать 1234k_m, вызывая общий синтаксический анализатор SI для ваших значений с плавающей запятой.