用作模板默认参数时，不调用完全专用的重载方法

Question

我希望能够通过调用重载函数之一（具有完全专业化的模板）来指定默认的非类型模板参数。以下代码表示问题：我期望FieldType2 getDefaultField<FieldType2>()被打印，但Called getDefaultField() !被打印。

#include <iostream>

enum class FieldType1 {
    Description1,
    Description2,
    Description3
};

enum class FieldType2 {
    Description1,
    Description2,
    Description3
};

template<class FiledType>
struct FieldDescription {
    constexpr static int startPos{0};
    constexpr static FieldType fieldType{}; 
};

struct ConcreteField2 : public FieldDescription<FieldType2> {};

template<class FieldType>
constexpr FieldType getDefaultField() {
    return FieldType{};
};

template<>
constexpr FieldType1 getDefaultField<FieldType1>() {
    return FieldType1::Description1;
};

template<>
constexpr FieldType2 getDefaultField<FieldType2>() {
    return FieldType2::Description3;
};

template<class FieldDescr,
        decltype(FieldDescr::fieldType) fieldType = getDefaultField<decltype(FieldDescr::fieldType)>()>
void process() {
    if (fieldType == FieldType2::Description3) {
        std::cout << "FieldType2 getDefaultField<FieldType2>()" << std::endl;
    }
    if (fieldType == FieldType2::Description1) {
        std::cout << "Called getDefaultField() !" << std::endl;
    }
}

int main() {
    process<ConcreteField2>();

    return 0;
}   

Answer 1

decltype(FieldDescr::fieldType)是const FieldType2不是FieldType2。因此您的专业化不匹配并且使用了主要模板。

你可能会使用std::decay_t：

getDefaultField<std::decay_t<decltype(FieldDescr::fieldType)>>()

演示

但是正如评论中所建议的，虚拟成员的用法很奇怪，常规成员using type = FiledType;更惯用。