Question

我正在尝试使用c ++ constexpr。我正在使用FNV-1a哈希实现HashedString类。

除了visual studio 2015 update 3似乎没有在编译时评估constexpr之外，一切似乎都很好。

我添加了一个static_assert，它没有显示任何错误。但是在我的测试反汇编中，显然有一个显式调用constexpr函数而不是预先计算的值。

我也试过g ++和clang，他们都能在编译时评估constexpr。

这是我的测试代码：

#include <cstdint>
#include <cstddef>
#include <string>

class HashedString {
public:

//value working only for a 32bit hash
constexpr static size_t defaultOffset = 2166136261u;
constexpr static size_t prime = 16777619u;

/**
* Compute the hash of a string at compile time using FNV-1a hash
* https://en.wikipedia.org/wiki/Fowler%E2%80%93Noll%E2%80   %93Vo_hash_function
*/
template<std::size_t N>
constexpr HashedString(const char(&a)[N]) noexcept
    : mHash(hash(a))
#if defined(_DEBUG)
    , mString(a)
#endif
{
}
explicit constexpr HashedString(size_t h) noexcept : mHash(h) {}

constexpr static size_t hash(const char *const aString, const uint32_t val = defaultOffset) noexcept
{
    return (aString[0] == '\0') ? val : hash(&aString[1], (val ^ uint32_t(aString[0])) * prime);
}

constexpr bool operator==(const HashedString & hs) const { return mHash == hs.mHash; }
constexpr bool operator==(const size_t & h) const { return mHash == h; }
constexpr bool operator!=(const HashedString & hs) const { return mHash != hs.mHash; }
constexpr bool operator!=(const size_t & h) const { return mHash != h; }
constexpr bool operator<(const HashedString & hs) const { return mHash < hs.mHash; }

private:
    const size_t mHash = 0;
#if defined(_DEBUG)
    const char* mString = nullptr;
#endif
};

static_assert(HashedString("FNV Hash Test") == 0xF38B3DB9, "HashedString of 'FNV Hash Test' shoulb be equal to 0xF38B3DB9");

int main(int , char**) {
    constexpr HashedString hs("FNV Hash Test");
    return hs == 0xF38B3DB9;
}

所以我的问题是：有没有办法让visual studio在编译时计算我的constexpr？（代码更改，编译标志，......）

Answer 1

将main更改为：

constexpr auto hash = HashedString::hash("FNV Hash Test");
return hash == 0xF38B3DB9;

或

constexpr HashedString hs("FNV Hash Test");
constexpr auto answer = hs == 0xF38B3DB9;
return answer;

将导致在编译时计算哈希值。你的代码的方式没有要求编译器在编译时计算哈希值。通过要求编译器初始化constexpr变量，它被迫在编译时计算该值。这将主要代码缩减为：

mov eax,1
ret

Booyah！对于VS2015的SSA优化。

如何让msvc 14在编译时评估我的constexpr

1 个答案: