Question

我有以下问题：我有一个带有基类和两个子类的类层次结构。我已经实现了一个resolve_type函数，它接受基类的实例和一个通用的lambda（或类似的）。该函数解析其类型并将其传递给lambda。在这个lambda中，我想在constexpr-if条件中检查列的类型，以便排除某些类型。我试图在子类中使用constexpr成员函数来执行此操作，但遗憾的是，这些函数不起作用。

代码：

class AbstractColumn
{
};

template <typename Type>
class DataColumn : public AbstractColumn
{
public:
    constexpr bool is_reference_column() { return false; }

    void foo() {}
};

class ReferenceColumn : public AbstractColumn
{
public:
    constexpr bool is_reference_column() { return true; }
};

template <typename Functor>
resolve_type(const AbstractColumn & col, const Functor & func);

用法：

AbstractColumn & col = ...;

...

resolve_type(col, [] (const auto & col)
{
    // col could be ReferenceColumn, DataColumn<int>, DataColumn<float>, DataColumn<double>, DataColumn<std::string> ...
    if constexpr (!col.is_reference_column()) {
        col.foo();
    }
});

编译器错误：

Apple LLVM version 8.1.0 (clang-802.0.42)
error: constexpr if condition is not a constant expression 
if constexpr (col.is_reference_column()) {

我知道我可以使用decltype来获取类型，然后继续使用一些模板魔法，但我希望找到一些更具可读性的东西。我的项目已经使用了boost及其hana库，因此解决方案也可以使用这两个。有没有人有任何想法？

Answer 1

请改用static constexpr方法它遵循一个最小的工作示例：

#include<type_traits>

struct A {
    static constexpr bool is_reference_column() { return false; }
};

int main() {
    [](const auto &col) {
        if constexpr(std::decay_t<decltype(col)>::is_reference_column()) {
            // ...
        }
    }(A{});
}

或者只是继承自std::true_type / std::false_type：

#include<type_traits>

struct A: std::true_type {};

int main() {
    [](const auto &col) {
        if constexpr(std::decay_t<decltype(col)>::value) {
            // ...
        }
    }(A{});
}

或者使用中间类模板而不是连续重新定义is_reference_column：

#include<type_traits>

template<bool refcol>
struct I {
    static constexpr bool is_reference_column = refcol;
};

struct A: I<true> {};

int main() {
    [](const auto &col) {
        if constexpr(std::decay_t<decltype(col)>::is_reference_column) {
            // ...
        }
    }(A{});
}

很多替代方案，但您不能仅仅因为您将col声明为const引用而在常量表达式中使用col。 T是类型sudo apt-get install libsqlite3-dev的运行时实例，您无法在编译时使用它，就像您尝试的那样。

Answer 2

我认为你是在思考这个问题。您不需要成员函数来仅识别对象的类型。你可以看看类型。所以，第一次，这只是：

resolve_type(col, [] (const auto& col)
{
    if constexpr (hana::typeid_(col) == hana::type_c<ReferenceColumn>) {
        col.foo();
    }
});

更简单的只是创建一个重载集并只使用重载决策。这里有几种这样的机制实现，在C ++ 17中编写特别简单。使用它：

resolve_type(col, overload(
    [](ReferenceColumn const& ref){
       ref.foo();
    },
    [](auto const& other) {
    }));

在泛型lambda中使用constexpr-if来确定参数的类型

2 个答案: