1

升级到 MSVC 2015（从 MSVC 2013）后，我开始收到以下代码的警告：

template< unsigned int i0, unsigned int i1, unsigned int i2, unsigned int i3 >
static __m128 Constant( )
{
    static __m128i v = {
        ((i0&0x000000FF) >> 0 ), ((i0&0x0000FF00) >> 8), ((i0&0x00FF0000) >> 16), ((i0&0xFF000000) >> 24), 
        ((i1&0x000000FF) >> 0 ), ((i1&0x0000FF00) >> 8), ((i1&0x00FF0000) >> 16), ((i1&0xFF000000) >> 24), 
        ((i2&0x000000FF) >> 0 ), ((i2&0x0000FF00) >> 8), ((i2&0x00FF0000) >> 16), ((i2&0xFF000000) >> 24), 
        ((i3&0x000000FF) >> 0 ), ((i3&0x0000FF00) >> 8), ((i3&0x00FF0000) >> 16), ((i3&0xFF000000) >> 24) };
    return *(__m128*)&v;
}

产生以下（带Constant<0x7FFFFFFF, 0x7FFFFFFF, 0x7FFFFFFF, 0x7FFFFFFF>()）：

note: see reference to function template instantiation '__m128 Constant<2147483647,2147483647,2147483647,2147483647>(void)' being compiled
warning C4838: conversion from 'unsigned int' to 'char' requires a narrowing conversion

__m128i联合在内部定义emmintrin.h，作为具有几种不同类型的数组的联合，代表一个 MMX 寄存器。要列出初始化结构，您必须使用联合中声明的第一个类型，在本例中为__int8. 根据 MSVC 2013 文档（https://msdn.microsoft.com/en-us/library/29dh1w7z.aspx），__int8映射到char，我认为 MSVC 2015 也是如此。所以，警告似乎是有效的，因为即使模板参数是非类型的，也不是所有的字段char在转换后都适合类型。

我的问题是为什么 MSVC 2013 没有对此发出警告（因为它似乎是核心 c++11 问题）？另外，是否有解决警告的“好”方法？

4

2 回答 2

2

排除移位掩码演员：

template<unsigned n, unsigned value>
/*constexpr*/ int8_t get_byte() {
  return static_cast<int8_t>(0xFF & (value >> (n*8)));
}

然后使用它：

template<unsigned i0, unsigned i1, unsigned i2, unsigned i3>
static __m128 Constant( )
{
  static __m128i v = {
    get_byte<0,i0>(), get_byte<1,i0>(), get_byte<2,i0>(), get_byte<3,i0>(),
    get_byte<0,i1>(), get_byte<1,i1>(), get_byte<2,i1>(), get_byte<3,i1>(),
    get_byte<0,i2>(), get_byte<1,i2>(), get_byte<2,i2>(), get_byte<3,i2>(),
    get_byte<0,i3>(), get_byte<1,i3>(), get_byte<2,i3>(), get_byte<3,i3>(),
  };
  return *(__m128*)&v;
}

请注意，它get_byte返回一个有符号的 8 位整数。

注意上面的对称性是多么明显。

于 2015-04-08T17:16:07.353 回答
0

@Chuck Walbourn - “请注意，C4838 对于 VS 2015 来说是新的，这就是它在 VS 2013 中没有出现的原因。”

于 2015-05-01T11:42:14.300 回答