用原始类型替换模板类[关闭]

Question

我正在尝试编写一个简单的编译时维度分析库。我想创建一个编译选项来删除库所做的一切而不更改代码。所以基本上我制作了自己的原始类型版本，如果选择了该选项，我想用实际的原始类型替换它们。

这是代码的最小工作示例

#include <iostream>
#include <stdint.h>

#define DEBUG
#ifdef DEBUG
    template<int lenght, int time, int mass, int charge, int temperature, int amount, int intensity> 
    struct Dimensions {
        static const int64_t LENGHT = lenght;
        static const int64_t TIME = time;
        static const int64_t MASS = mass;
        static const int64_t CHARGE = charge;
        static const int64_t TEMPERATURE = temperature;
        static const int64_t AMOUNT = amount;
        static const int64_t INTENSITY = intensity;
    };

    typedef Dimensions<  0, 0, 0, 0, 0, 0, 0 > Adimensional;
    typedef Dimensions<  1, 0, 0, 0, 0, 0, 0 > Length;
    typedef Dimensions<  0, 1, 0, 0, 0, 0, 0 > Time;

    template<typename Dims> class Int32 {
    private:
        int32_t m_value;

    public:
        inline Int32() : m_value(0) {}

        inline Int32(int32_t value) : m_value(value) {}

        inline int32_t value() {
            return m_value;
        }
    };

    template<typename Dims> 
    Int32<Dims> inline operator+(Int32<Dims> &lhs, Int32<Dims> &rhs) {
        return Int32<Dims>(lhs.value() + rhs.value());
    }

    struct Unmatched_dimensions_between_operands;

    template<typename DimsLhs, typename DimsRhs>
    Unmatched_dimensions_between_operands inline operator+(Int32<DimsLhs> &lhs, Int32<DimsRhs> &rhs);
#else
    template<typename Dims> using Int32<Dims> = std::int32_t;
#endif

int main(int argc, char* argv[]) {
    Int32<Time> a = 2;
    Int32<Time> b = 5;

    std::cout << (a + b).value() << "\n";
    return 0;
}

当我删除 #define DEBUG 行时，我得到编译错误

Error   C2988   unrecognizable template declaration/definition 59

有没有合适的方法将代码中Int32 的任何模板版本替换为原始类型？

Answer 1

试试：

template<typename Dims> using Int32 = std::int32_t;

您还需要以某种方式定义Time（可能还有Adimensional 和Length）（不管如何，因为从不使用模板参数）。

编辑：您的程序仍然无法运行，因为您访问了Int32 的成员value，当然std::int32_t 中不存在该成员。不过，我希望这能让你走上正轨。