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）（因为模板参数从未使用过，所以无关紧要。）

修改：当您访问value的成员Int32时，您的程序仍然无法运行，std::int32_t当然不存在{{1}}。但是，我希望这会让你走上正轨。

用原始类型替换模板类

1 个答案: