c++ - 如何根据某些模板参数影响模板类方法的返回类型？

Question

模板类应该有一个返回类型基于模板参数的方法。在此示例中，如何使函数为 K=0 返回 int(拷贝)并为 返回 int&(ref) K=1?

template<typename T, int K>
class someclass
{
public:
    someclass() : member(3) { }
    T giveback() { return member; } // if K=0 should return by T, else return by T&
private:
    T member;
};

int main()
{
    someclass<int,0> x;
    x.giveback();
}

Answer 1

你可以这样做:

typename std::conditional<K, T&, T>::type giveback() { return member; }

如果K为0则类型为T，否则为T&。

但是实际上并没有“没有模板特化”这样的东西，因为 std::conditional 是使用模板特化实现的。使用 std::conditional 只会帮助您本地化模板特化，而不必复制整个类的大部分内容。