MSVC 无法根据模板参数进行数学运算，这是一个错误吗?

Question

如果不太长，我就找不到一个非常合适的标题来回答这个问题，所以这就是为什么它可能不是很准确。我有一个类clamped_value，它存储一个值并确保该值保持在编译时已知范围内。现在我像这样使用这个类：

class SomeClass
{
using value_type = int;
using percent_type = clamped_value<value_type, 0, 100>;
};

这一切都工作正常，我继续添加一个Precision模板参数来SomeClass

template<int Precision>
class SomeClass
{
using value_type = int;
using percent_type = clamped_value<value_type, 0, 100 * (Precision + 1)>;
};

突然密码坏了！在已经定义的函数中给出很多关于函数的错误clamped_value.hpp(我确信那里的标题保护是正确的(。我决定使用 Gcc 测试代码(请参阅此处的 coliru 示例(，它工作得很好。与Clang一起编译也有效。这是 MSVC 中的错误吗？

MSVC 版本是 15.7.2。

更新

我创建了一个小示例来模拟我正在做的事情，问题消失了：

template<class T, int N, int M>
class clamped_value
{
public:
#define GEN_F(f) void f() {}
GEN_F(a)
GEN_F(b)
};
template<int N = 0>
class SomeClass
{
using percent_type = clamped_value<int, 0, 100 * N>;
public:
SomeClass()
{
percent_type p;
p.a();
}
};

int main()
{
SomeClass<> a;
}

额外的结肠链接：https://coliru.stacked-crooked.com/a/a2d612a292e72198

新更新：将VS更新到最新版本未解决问题。现在就做一个更好的MCVE。

Answer 1

经过一番工作，我终于发现了问题所在。首先，我设法在这里复制了gcc上的错误。当开始更多地思考这个问题时，我终于发现了它。在clamped_value中，有一个宏：

#define GEN_ARITHMETIC_OP(op) 
template<typename Ty, Ty TMin, Ty TMax, typename U, U UMin, U UMax> 
friend constexpr detail::common_clamped_value_t<Ty, TMin, TMax, U, UMin, UMax> 
operator op(clamped_value<Ty, TMin, TMax> const& lhs, clamped_value<U, UMin, UMax> const& rhs) 
{ 
auto val = detail::common_clamped_value_t<Ty, TMin, TMax, U, UMin, UMax>(lhs.m_value op rhs.m_value); 
val.clamp(); 
return val; 
}

现在，这里的问题是第一个clamped_value是模板化的，因此适用于所有clamped_value。因此，如果我只实例化一个clamped_value，一切正常。但是从我使用一组新的模板参数的那一刻起，宏就会再次展开，运算符被定义两次。一个简单的解决方法是将宏定义更改为仅适用于当前实例化的类型：

#define GEN_ARITHMETIC_OP(op) 
template<typename U, U UMin, U UMax> 
friend constexpr detail::common_clamped_value_t<T, Min, Max, U, UMin, UMax> 
operator op(clamped_value const& lhs, clamped_value<U, UMin, UMax> const& rhs) 
{ 
auto val = detail::common_clamped_value_t<T, Min, Max, U, UMin, UMax>(lhs.m_value op rhs.m_value); 
val.clamp(); 
return val; 
}