检测 C++ 14 中的 constexpr size(） 成员函数

编辑：不幸的是，如果您将std::string替换为类型而不是int，则以下答案是错误的，例如std::array<std::string, 2>你会发现它失败了。出于某种对我来说毫无意义的原因，C++ 14 将以下内容视为：

static_assert(static_cast<std::array<int, 2> *>(0)->size(), "foo");          // passes
static_assert(static_cast<std::array<std::string, 2> *>(0)->size(), "foo");  // fails

我正式傻眼了。无论如何，我将在下面留下答案以引起历史兴趣。

对于我自己的问题 2，我有一个有效的解决方案，其中使用表达式 SFINAE，我可以检测一个非零的 constexpr 可用的size()成员函数array<>并正确排除vector<>，但它得到 constexprinitializer_list<>错误。确认在GCC 4.9和clang 3.8和VS2015上工作：

#include <array>
#include <type_traits>
#include <utility>
#include <vector>
namespace type_traits {
namespace detail {
template <size_t N> struct Char { char foo[N]; };
// Overload only available if a default constructed T has a constexpr-available non-zero size()
template <class T, size_t N = T{}.size() + 1>
constexpr inline Char<N> constexpr_size(const T &) {
return Char<N>();
}
template <class T> constexpr inline Char<1> constexpr_size(...) {
return Char<1>();
}
}
//! Returns true if the instance of v has a constexpr size()
template <class T> constexpr inline bool has_constexpr_size(const T &v) {
return sizeof(detail::constexpr_size<typename std::decay<T>::type>(
std::move(v))) > 1;
}
// Non-constexpr array (always has a constexpr size())
auto ca = std::array<int, 2>();
// Constexpr initializer_list (has constexpr size()). Note fails to compile on
// VS2015 as its initializer_list isn't constexpr constructible yet
#ifndef _MSC_VER
constexpr std::initializer_list<int> cil{1, 2};
#endif
// Non-constexpr initializer_list (does not have constexpr size())
std::initializer_list<int> il{1, 2};
// Non-constexpr vector (never has constexpr size())
std::vector<int> vec{1, 2};
// Correct on GCC 4.9 and clang 3.8 and VS2015
static_assert(ca.size(), "non-constexpr array size constexpr");
// Correct on GCC 4.9 and clang 3.8.
#ifndef _MSC_VER
static_assert(cil.size(), "constexpr il size constexpr");
#endif
// Fails as you'd expect everywhere with non-constexpr il error
// static_assert(il.size(), "non-constexpr il size constexpr");
// Correct on GCC 4.9 and clang 3.8 and VS2015
static_assert(has_constexpr_size(ca), "ca");
// Incorrect on GCC 4.9 and clang 3.8 and VS2015
#ifndef _MSC_VER
static_assert(!has_constexpr_size(cil), "cil");  // INCORRECT!
#endif
// Correct on GCC 4.9 and clang 3.8 and VS2015
static_assert(!has_constexpr_size(il), "il");
// Correct on GCC 4.9 and clang 3.8 and VS2015
static_assert(!has_constexpr_size(vec), "vec");
constexpr bool test_ca() {
return has_constexpr_size(std::array<int, 2>{1, 2});
}
constexpr bool testca = test_ca();
// Correct on GCC 4.9 and clang 3.8 and VS2015
static_assert(testca, "testca()");
constexpr bool test_cil() {
return has_constexpr_size(std::initializer_list<int>{1, 2});
}
constexpr bool testcil = test_cil();
// Incorrect on GCC 4.9 and clang 3.8 and VS2015
static_assert(!testcil, "testcil()");          // INCORRECT!
}

因此，我们现在需要的只是一些过滤掉非constexpr输入类型的方法，以便我们可以正确地为非constexpr输入返回false。我怀疑这与堆栈溢出:(其他地方的未解决的问题相同

任何进一步的进步或想法都是非常受欢迎的。

如果我正在解释这个建议：

标准：：is_constant_evaluated()

正确地，该标准截至 C++14 的措辞甚至没有澄清在编译时必须知道什么，什么不需要。而且，无论如何，C++20 中添加的这个"神奇库函数"无法在语言本身中实现。

GCC 9 的实现是：

constexpr inline bool
is_constant_evaluated() noexcept
{ return __builtin_is_constant_evaluated(); }

这是另一个迹象(尽管不是某个迹象)，表明这无法使用其他语言结构实现。