无法调用具有默认参数的函数特化，因为参数太少

Question

我有this 代码

#include <iostream>
#include <type_traits>

enum class Color: char { Red = 'r', Yellow = 'y', Green = 'g' };

template<Color color>
auto say_my_name(unsigned times = 1) {
    for (unsigned i = 0; i < times; i++) {
        std::cout << static_cast<std::underlying_type_t<Color>>(color) << ' ';
    }
    std::cout << std::endl;
}

constexpr auto say_red = say_my_name<Color::Red>;

int main()
{
    say_my_name<Color::Yellow>(3);
    say_my_name<Color::Yellow>();
    say_red(2);
    say_red(); // too few arguments to function
}

我希望函数say_red 是say_my_name 的特化，所以我可以在我的代码中轻松调用它，而无需一直提供模板参数。

say_red(2) 工作正常，但 say_red() 无法编译并显示错误消息 “错误：函数的参数太少”

有没有办法让我的代码在不指定参数的情况下编译？

---

附带说明：如果这样可以解决问题，我也可以将模板参数转换为函数参数。我的问题是，std::bind 在 C++17 中不是 constexpr，所以这不适合我。
此外，我不想在say_* 的每个声明中指定默认参数。可以想象，这是一个示例，而我的“现实生活”枚举有 8 个变体，所以我想尽可能少写代码。

Answer 1

默认参数在调用站点被替换。它们不是函数类型的一部分。因此，您需要“某事”来启用say_red 的默认参数。您可以使用 lambda：

#include <iostream>
#include <type_traits>

enum class Color: char { Red = 'r', Yellow = 'y', Green = 'g' };

template<Color color>
auto say_my_name(unsigned times = 1) {
    for (unsigned i = 0; i < times; i++) {
        std::cout << static_cast<std::underlying_type_t<Color>>(color) << ' ';
    }
    std::cout << std::endl;
}

constexpr auto say_red = [](unsigned times = 1){
    say_my_name<Color::Red>(times);
};

int main()
{
    say_my_name<Color::Yellow>(3);
    say_my_name<Color::Yellow>();
    say_red(2);
    say_red(); // too few arguments to function
}

如果您不介意在每次调用时添加 ()，您可以使用仿函数：

#include <iostream>
#include <type_traits>

enum class Color: char { Red = 'r', Yellow = 'y', Green = 'g' };

template<Color color>
struct say_my_name {
    void operator()(unsigned times = 1) const {
        for (unsigned i = 0; i < times; i++) {
            std::cout << static_cast<std::underlying_type_t<Color>>(color) << ' ';
        }
        std::cout << std::endl;
    }
};

using say_red = say_my_name<Color::Red>;

int main()
{
    say_my_name<Color::Yellow>()(3);
    say_my_name<Color::Yellow>()();
    say_red()(2);
    say_red()(); // too few arguments to function
}

如果你不喜欢额外的()，你可以这样做：

using say_red = say_my_name<Color::Red>;
constexpr auto red_say = say_red{};

int main()
{
    red_say(2);
    red_say(); // too few arguments to function
}

请注意，您也可以使用构造函数代替operator()，但使用operator() 更灵活，因为它允许您返回值。关键是分两步进行特化和重载解析（特化函子，然后用一个或零个参数调用operator()）。