Làm cách nào để tự động thêm định nghĩa theo nghĩa đen, dựa trên một chữ cái do người dùng xác định?

Question

C++11 cung cấp user-defined literals. Tôi vừa mới bắt đầu chơi với họ, điều đó khiến tôi tự hỏi liệu có thể tự động thêm tất cả SI multipliers vào một chữ mà tôi định nghĩa không?

Ví dụ, nếu tôi xác định

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

nơi Length là một lớp con của một số lớp Units cơ sở, tôi muốn có một cơ chế để tự động add (theo tinh thần giống như boost operators) nhân SI cho tất cả các chữ mà trả về một 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 

theo như tôi có thể thấy, ngoài việc có lẽ một số ma thuật vĩ mô, không có cách nào để làm một này tự động vì tất cả các chữ cái do người dùng xác định cần định nghĩa rõ ràng.

.. tôi có đang xem cái gì đó không?

Answer 1

Tôi không nghĩ rằng có một cách để làm chính xác những gì bạn đang yêu cầu mà không cần "macro kỳ quái". Đây là như xa như tôi có thể nhận được:

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"); 
} 

Nếu macro kỳ lạ được cho phép, sau đó một cái gì đó như sau nên thực hiện công việc:

#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"); 
} 

Answer 2

bạn không thể sử dụng các hương vị operator "" _m(const char *) miễn là bạn sẵn sàng để phân tích nổi chính mình? Điều đó làm cho nó có thể viết 1234k_m bằng cách gọi ra một phân tích cú pháp SI-aware chung cho các giá trị dấu chấm động của bạn.