c++ - 在函数参数中捕获 constexpr-ness

Question

出于各种原因，我正在寻找一种方法来捕获传递给函数的参数的constexpr-ness。解释起来有点棘手，所以我认为代码最能展示我想要实现的目标

#include <vector> // For std::size_t
#include <cstdio>

namespace
{
  template<std::size_t N, typename ...TArgs>
  constexpr int cstrlen (char const (&s) [N], std::size_t i = 0) noexcept
  {
    return i < N && s[i] != 0
      ? 1 + cstrlen (s, i + 1)
      : 0
      ;
  }

  template<std::size_t N, typename ...TArgs>
  inline void silly_printf (char const (&format) [N], TArgs && ...args) noexcept
  {
    static_assert (cstrlen (format) > 0, "format must not be empty string");
    printf (format, std::forward<TArgs> (args)...);
  }

}

#define SILLY_PRINTF(format, ...)                                           \
  static_assert (cstrlen (format) > 0, "format must not be empty string");  \
  printf (format, ##__VA_ARGS__);

int main()
{
  // This works but relies on macros
  SILLY_PRINTF ("Hello: %d", 1);

  // This doesn't work
  silly_printf ("Hello: %d", 1);
  return 0;
}

我无法让 silly_printf 按我的意愿工作。编译器提示表达式的计算结果不是常量。我们知道在使用字符串文字调用 silly_print 时它是 constexpr，但 constexpr-ness 丢失了(顺便说一句，我在这里使用 VS2015)。

我在想也许我可以将 constexpr 添加到参数中(很像 const)，但没有成功。

我可以使用宏(由 SILLY_PRINTF 宏演示)来解决这个问题，但这感觉像是失败了。

欢迎提出任何想法。

附言。我真正想要实现的是稍微不那么愚蠢

Answer 1

有一个 GNU 扩展(由 g++ 和 clang 支持)允许用户定义以下形式的文字:

template<typename CharT, CharT... Chars>
constexpr void operator"" _something() { }

有了这个，就可以构建一个没有宏的 constexpr-string 类型，可以像这样使用:

constexpr auto str = "testing\0length"_string;
static_assert(str.strlen() == 7, "!");

通过将字符串的所有属性编码到类型中，然后您可以在任何地方对其进行 static_assert，无论是否为 constexpr。例如，在您的 silly_printf 中:

template<typename CharT, CharT... Chars, typename... Args>
void silly_printf(const constexpr_string<CharT, Chars...>& format_string, Args&&... args) {
    static_assert(format_string.strlen() > 0, "format string must not be empty");
    printf(format_string.c_str(), args...);
}

然后像这样使用它:

silly_printf("testing %d %s %x embedded\0null"_string, 1, "2", nullptr);

您还可以使用另一个返回函数对象的 operator""_silly_printf() 来获得类似于 "format string"_silly_printf(args...) 的语法。

See it live on Coliru