代码之家 › 专栏 › 技术社区 › ryancheung

实例化后“CheckIntMap<>”的显式专门化

explicit-specialization template-specialization templates c++

ryancheung · 技术社区 · 8 年前

template<typename... U> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1, U&&... u)
{
    return (CheckIntMap(szStr, nDefaultInt, szOptStr1, nOptInt1) == nOptInt1) ? nOptInt1 : CheckIntMap(szStr, nDefaultInt, std::forward<U>(u)...);
}

template<> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1)
{
    return CompareUTF8(szStr, szOptStr1) ? nOptInt1 : nDefaultInt;
}

叮当声:

Apple LLVM version 9.0.0 (clang-900.0.39.2)
Target: x86_64-apple-darwin17.3.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
Found CUDA installation: /usr/local/cuda, version 7.0

编译错误:

/Users/xxx/xxx/xxxx/common/src/constexprfunc.hpp:58:30: error: explicit specialization of 'CheckIntMap<>' after instantiation
    template<> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1)
                             ^
/Users/xxx/xxx/xxxx/common/src/constexprfunc.hpp:55:17: note: implicit instantiation first required here
        return (CheckIntMap(szStr, nDefaultInt, szOptStr1, nOptInt1) == nOptInt1) ? nOptInt1 : CheckIntMap(szStr, nDefaultInt, std::forward<U>(u)...);

此代码在g++5.4(linux)中编译

我怎样才能解决这个问题。

1 回复 | 直到 8 年前

songyuanyao 8 年前

您可以将专门化声明移到需要隐式实例化的位置之前。例如

// declarations
template<typename... U> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1, U&&... u);
template<> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1);

// definitions
template<typename... U> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1, U&&... u)
{
    return (CheckIntMap(szStr, nDefaultInt, szOptStr1, nOptInt1) == nOptInt1) ? nOptInt1 : CheckIntMap(szStr, nDefaultInt, std::forward<U>(u)...);
}

template<> constexpr int CheckIntMap(const char *szStr, int nDefaultInt, const char *szOptStr1, int nOptInt1)
{
    return CompareUTF8(szStr, szOptStr1) ? nOptInt1 : nDefaultInt;
}

推荐文章

Kaiyakha · 模板模板部分专业化

1 年前

111111 · 确定作为模板参数传递的函数的参数类型

1 年前

Giogre · C++:类成员函数的模板特化,与另一个成员函数的不同之处仅在于通过引用而不是值接受参数

1 年前

BCS · 通过使用别名显式专门化类模板是否有效?

1 年前

Mickey · C++为所有模板专用类定义成员函数

2 年前

HKoplin · 如何不必指定工厂的退货类型

2 年前

kaisong · 如何最好地实现具有依赖于模板参数包专业化的成员的派生?

2 年前

Curious · 函子基类的二义重载

9 年前

B. A. Sylla · 两种特殊方法中的相同代码

9 年前

StoneThrow · 模板运算符<未调用

9 年前