Question

如何创建类型副本？例如，如何创建不能隐式转换为Mass（或任何其他数字类型）的类型Acceleration，Force和double，但具有所有特征一个double。这将允许对此函数进行编译时输入有效性检查：

Force GetForceNeeded(Mass m, Acceleration a);

确保只能使用GetForceNeeded和Mass类型的参数调用Acceleration。

当然，我可以通过手动创建类型的副本来实现这一目标：

class Force final
{
public:
//overload all operators
private:
double value;
};

但这很麻烦。有没有通用的解决方案？

Answer 1

正如许多评论员指出的那样，一种解决方案是使用BOOST_STRONG_TYPEDEF来提供问题中要求的所有功能。以下是他们的文档中的示例用法：

#include <boost/serialization/strong_typedef.hpp>


BOOST_STRONG_TYPEDEF(int, a)
void f(int x);  // (1) function to handle simple integers
void f(a x);    // (2) special function to handle integers of type a 
int main(){
    int x = 1;
    a y;
    y = x;      // other operations permitted as a is converted as necessary
    f(x);       // chooses (1)
    f(y);       // chooses (2)
}    typedef int a;

有一个proposal可以向C ++ 1y添加opaque typedef。

（我正在离开这个答案，因为我找不到确切的愚蠢行为。如果情况并非如此，请举报。）

创建类型副本

1 个答案: