使第一个模板参数可选

Question

我有一个函数，它使用Boost进行base64编码。它有两个模板参数：一个用于输入的容器类型，另一个用于输出的容器类型。这允许您使用std:：vector提供二进制数据，但可以返回std:：string。

这是代码：

template<typename OutputContainer, typename InputContainer>
OutputContainer Encode(InputContainer const& data)
{
    using namespace boost::archive::iterators;
    using base64_it = base64_from_binary<transform_width<
        typename InputContainer::const_iterator, 6, 8>>;

    OutputContainer result(base64_it(data.begin()), base64_it(data.end()));

    static std::string const padding[] { "", "==", "="};
    auto const& pad = padding[data.size() % 3];
    result.insert(result.end(), pad.begin(), pad.end());

    return result;
}

用法示例：

std::string data = "Hello World!+";
auto encoded = Encode<std::string>(data);

这里有活样品

请注意，在上面的示例中，我仍然必须为输出容器提供模板参数，即使它与输入容器的类型相同。在这些场景中，我希望OutputContainer模板参数是可选的，而是使用由InputContainer推导的类型。我不确定我可以执行什么变通或调整来获得这种界面，但很高兴看到SO社区能想出什么。

注意，我也愿意采用以迭代器为中心的方法，但由于冗余/样板文件，我避免了这种方法（我认为在容器中传递比迭代器更简单）。如果它最终看起来像是std:：transform（）的4参数版本，我想我对这个解决方案会不太满意。

Answer 1

使用重载（不是专门化）的情况下，输入容器和输出容器是相同的，enable_if禁用原始的实现在这种情况下，它可以实现您所要求的。一个警告是，如果两个容器类型相同，则不再可能显式指定它们，除非还提供第三个参数：

template<typename OutputContainer, typename InputContainer, typename = std::enable_if_t<!std::is_same_v<OuptputContainer, InputContainer>>>
OutputContainer Encode(InputContainer const& data)
{
    // Your implementation
}

template<typename OutputContainer>
OutputContainer Encode(OutputContainer const& data)
{
    return Encode<OutputContainer, OutputContainer, void>(data);
}

戈德博尔特的例子。