變量模板可以作為模板模板參數傳遞嗎？

Question

以下無意義的示例無法編譯，但是還有其他方法可以將變量模板作為模板模板參數傳遞嗎？

template<typename T>
constexpr auto zero = T{0};

template<typename T, template<typename> auto VariableTemplate>
constexpr auto add_one()
{
    return VariableTemplate<T> + T{1};
}

int main()
{
    return add_one<int, zero>();
}

嘗試編譯器資源管理器

Answer 1

簡短的回答：沒有。

長答案：是的，您可以通過 class 模板使用一些間接：

template<typename T>
constexpr auto zero = T{0};

template<typename T>
struct zero_global {
    static constexpr auto value = zero<T>;
};

template<typename T, template<typename> class VariableTemplate>
constexpr auto add_one()
{
    return VariableTemplate<T>::value + T{1};
}

int main()
{
    return add_one<int, zero_global>();
}

活生生的例子