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

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(FieldDecr::fieldType) 是 const FieldType2 而不是 FieldType2。因此您的专业不匹配，因此使用了主要模板。

您可以使用std::decay_t:

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

Demo

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