Question

我遇到模板问题：

我有两个构造函数和方法：的.cpp：

Cell::Cell(sf::Vector2i& uPos, sf::Vector2f& cellDimensions, std::string& stateName)
    :unitPosition(uPos)
{
    setBasicParameters<std::string>(stateName,cellDimensions,uPos);
}

Cell::Cell(sf::Vector2i & uPos, sf::Vector2f & cellDimensions, int stateNumber)
    :unitPosition(uPos)
{
    setBasicParameters<int>(stateNumber,cellDimensions,uPos);
}

.HPP ::

//Basic parameters which are being used by constructors
    template < typename T = typename std::enable_if< std::is_base_of<int, T>::value, T>::type || typename std::enable_if< std::is_base_of<std::string, T>::value, T>::type>
    void setBasicParameters(T& object, sf::Vector2f& cellDimensions, sf::Vector2i& uPos);

template<typename T>
inline void Cell::setBasicParameters(T& object, sf::Vector2f& cellDimensions, sf::Vector2i& uPos)
{
    shape.setSize(cellDimensions);
    shape.setOutlineThickness(cellDimensions.x / 10.0f); //10%

    shape.setOutlineColor(constants::cell::FILL_COLOR);

    shape.setPosition(uPos.x*cellDimensions.x, uPos.y*cellDimensions.y);

    if (!StateSystem::isStateExist(object))
    {
        Logger::Log(constants::error::stateSystem::STATE_DOES_NOT_EXIST, Logger::STREAM::BOTH, Logger::TYPE::ERROR);
        state = StateSystem::getNumberOfState(constants::defaults::EMPTY);
    }
    else
    {
        if (std::is_base_of<std::string, T>::value)
            state = StateSystem::getNumberOfState(object);  
        else state = object;

        setColor(StateSystem::getColorOfState(state));
    }
}

问题在于：

if (std::is_base_of<std::string, T>::value)
            state = StateSystem::getNumberOfState(object);  
        else state = object;

在这个if中，我检查一个T的类型，如果它是std :: string，我使用StateSystem中的方法将name更改为number。另一方面，如果T是int，我不需要更改它，所以我立即将T分配给state（state为int）。但我的编译器会检查dwo选项并给出错误：

Severity    Code    Description Project File    Line    Suppression State

错误C2440'='：无法从'std :: string'转换为'uint8_t'

Severity    Code    Description Project File    Line    Suppression State
Error   C2664   'int8_t mv::StateSystem::getNumberOfState(std::string)': cannot convert argument 1 from 'int' to 'std::string'

我可以在没有两种不同方法的情况下修复它吗？

Answer 1

问题是这里的if声明......

if (std::is_base_of<std::string, T>::value)

...是运行时分支。即使可以在编译时评估is_base_of，编译器也必须编译if语句的两个分支，即使它们的正确性依赖于is_base_of条件。

我可以修复它没有两种不同的方法吗？

C ++ 17引入了if constexpr (...)，它在编译时进行分支。这仍然要求两个分支都是可解析的，但只实例化与谓词匹配的分支。因此，非拍摄分支可能“无效”，您的程序将按预期工作。

if constexpr (std::is_base_of<std::string, T>::value)
    state = StateSystem::getNumberOfState(object);  
else state = object;

如果您无法访问C ++ 14，并且您真的不想使用两个不同的函数，则可以实现if constexpr(...)的等效构造。实施需要大量的样板。最终结果如下：

static_if(std::is_base_of<std::string, T>{})
    .then([&](auto){ state = StateSystem::getNumberOfState(object); })
    .else_([&](auto){ state = object; })(_);

我在CppCon 2016和Meeting C++ 2016发表了一个名为“在C ++ 14中实施static控制流程”的演讲，其中解释了static_if工作以及如何自己实现它。

如果您认为使用两种不同的功能是可以接受的，那么您可以通过以下方式解决问题：

if (!StateSystem::isStateExist(object))
{
    // ...as before...
}
else
{
    dispatch(state, std::is_base_of<std::string, T>{});
    // ...as before...
}

dispatch定义为：

void dispatch(State& state, Object& object, std::true_type)
{
    state = StateSystem::getNumberOfState(object);
}

void dispatch(State& state, Object& object, std::false_type)
{
    state = object;
}

Answer 2

std::is_base_of是编译时的事情。例如，您应该将其与static_assert一起使用。在C ++中运行时键入信息很复杂，你应该使用像RTTI或dynamic_cast这样的东西。

This answer给出了差异的答案。

std :: is_base_of和if的错误

2 个答案: