为何Clang无法在constexpr函数中通过索引获取__m128的数据？

Clang对SIMD类型的constexpr上下文支持更严格，不允许直接通过下标运算符[]访问__m128的元素，而GCC对此做了扩展支持。以下是几种可行的解决方法：

方法一：使用SIMD内置函数提取元素（推荐） #

利用_mm_shuffle_ps将目标元素移到最低位，再通过_mm_cvtss_f32提取float值，这种方式符合标准SIMD内置函数的使用规范，兼容性更好。

#include <cstddef>
#include <immintrin.h>
#include <stdexcept>

constexpr float get_data(__m128 a, std::size_t pos) {
    if constexpr (pos >= 4) {
        throw std::out_of_range("pos must be 0-3");
    }
    // 将目标元素移到最低位后提取
    return _mm_cvtss_f32(_mm_shuffle_ps(a, a, static_cast<int>(pos << 2)));
}

方法二：借助constexpr union转换为数组 #

C++17及以上支持constexpr union，可以将__m128转换为float数组后访问元素（x86平台上GCC和Clang均遵循__m128的内存布局，四个float按顺序存储）。

#include <cstddef>
#include <immintrin.h>
#include <stdexcept>

constexpr float get_data(__m128 a, std::size_t pos) {
    if (pos >= 4) {
        throw std::out_of_range("pos must be 0-3");
    }
    constexpr union VecToArray {
        __m128 vec;
        float arr[4];
    };
    return VecToArray{.vec = a}.arr[pos];
}

方法三：模板参数指定编译期常量pos #

如果调用时pos是编译期已知的，可以将pos设为模板参数，进一步提升代码效率：

#include <cstddef>
#include <immintrin.h>

template<std::size_t pos>
constexpr float get_data(__m128 a) {
    static_assert(pos < 4, "pos must be 0-3");
    return _mm_cvtss_f32(_mm_shuffle_ps(a, a, static_cast<int>(pos << 2)));
}

// 调用示例：get_data<0>(my_vec)

内容的提问来源于stack exchange，提问作者user15781448