编译时间检查的sizeof ...（参数）与从constexpr功能

Question

结果我有constexpr函数计算占位符https://godbolt.org/g/JcxSiu的数量，

e.g： “Hello %1” 返回1和 “Hello %1, time is %2” 返回2。

然后，我想作出一个函数，如果参数的数量不等于占位符的数量，它不会编译。

template <typename... Args> 
inline std::string make(const char* text, Args&&... args) { 
    constexpr static unsigned count = sizeof...(args); 

    // TODO how to compile time check if count == count_placeholders(text)  
    // constexpr static auto np = count_placeholders(text); 

    //static_assert(count == np;, "Wrong number of arguments in make"); 

    return std::to_string(count); 
}; 

使 make("Hello %1", "World");编译和

make("Hello %1 %2", "World");或make("Hello %1", "World", "John");没有。

我认为这是可以做到的，我只是不知道如何。也许一些模板magick :)

编辑

我几乎得到了我想要的东西。 https://godbolt.org/g/Y3q2f8

现在以调试模式中止。编译时错误是可能的？

Answer 1

我的第一个想法是使用SFINAE启用/禁用make();像

template <typename... Args> 
auto make(const char* text, Args&&... args) 
    -> std::enable_if_t<sizeof...(args) == count_placeholders(text), 
         std::string> 
{ 
    // ... 
} 

不幸的是这并没有编译，因为text不能在constexpr使用。

但是，如果你接受text是一个模板参数（在编译时间，所以知道），你可以做一些事情作为

template <char const * const text, typename ... Args> 
auto makeS (Args && ... args) 
    -> std::enable_if_t<sizeof...(args) == count_plc(text), std::string> 
{ return std::to_string(sizeof...(args)); } 

下面是一个完整的工作示例

#include <string> 
#include <type_traits> 

constexpr std::size_t count_plc (char const * s, 
           std::size_t index = 0U, 
           std::size_t count = 0U) 
{ 
    if (s[index] == '\0') 
     return count; 
    else if ( (s[index] == '%') && (s[index+1U] != '\0') 
      && (s[index+1U] > '0') && (s[index+1U] <= '9')) 
     return count_plc(s, index + 1U, count+1U); 
    else 
     return count_plc(s, index + 1U, count); 
} 

template <char const * const text, typename ... Args> 
auto makeS (Args && ... args) 
    -> std::enable_if_t<sizeof...(args) == count_plc(text), std::string> 
{ return std::to_string(sizeof...(args)); } 

constexpr char const h1[] { "Hello %1" }; 
constexpr char const h2[] { "Hello %1 %2" }; 

int main() 
{ 
    makeS<h1>("World"); // compile 
    //makeS<h2>("World"); // compilation error 
    //makeS<h1>("World", "John"); // compilation error 
}