c++ - 尝试使用标签调度 : "cannot convert from bool to std::true_type" 失败

Question

#include <iostream>
#include <type_traits>

template <bool b>
struct Conditional
{
    void f()
    {
        fImpl(b);
    }

private:
    void fImpl(std::true_type)
    {
        std::cout << "true";
    }

    void fImpl(std::false_type)
    {
        std::cout << "false";
    }
};

void main()
{
    Conditional<true>().f();
}

上面的代码产生错误:

cannot convert argument 1 from 'bool' to 'std::true_type'

我不明白为什么会这样以及我做错了什么。我过去曾毫无问题地使用过这个技巧。

Answer 1

您不能根据正在转换的任何值进行隐式转换。鉴于 b 是一个模板 bool 参数，你可以这样做

void f()
{
    fImpl(std::integral_constant<bool, b>());
}