仅针对已知执行路径编译模板

Question

在下面的示例中，尽管我知道已知的执行路径将是“安全的”，但我在编译它时遇到了问题。 “安全”是指我知道我只会以这种方式使用它。有没有一种算法或更好的方法来构建一个场景，即使我知道我永远不会有一个“类型”的“浮点”传递一个“种类”值为 1？

我得到的特别错误是

error C2248: 'foo::foo' : cannot access private member declared in class 'foo'

测试用例示例

#include <vector>
using namespace std;

class foo {
private:
    foo(float val) {
        val = 99.0f;
    }
public:
    foo(int val) {
        val = 2;
    }
};

template<typename Type>
struct bar {
public:
    vector<Type> array;

    void Add(Type value) {
        array.push_back(value);
    }
};

class bunny {
    bar<float> floats;
    bar<foo> foos;
public:
    template<typename Type>
    void Initialize(int kind, Type value) {
        if(kind == 0)
            floats.Add(value);
        else if(kind == 1)
            foos.Add(value);
    }
};

int main(void) {
    bunny first; first.Initialize(0, 1.0f);
    //bunny second; second.Initialize(1, 0);

    return 0;
}

Answer 1

在 C++ 中，您可以拥有多个具有相同名称但参数数量或类型不同的函数，例如，您可以拥有两个函数：

void foo(float a)
{
    std::cout << "Float!" << a << std::endl;
}
void foo(int a)
{
    std::cout << "Int!" << a << std::endl;
}

如果您调用这些函数之一，编译器将根据您为函数提供的参数推断要调用的函数。 这就是函数重载。

在你的情况下，你可能会将你的兔子类重写为这样的：

class bunny {
    bar<float> floats;
    bar<foo> foos;
public:
    void Initialize(foo value) {
        foos.Add(value);
    }
    void Initialize(float value) {
        floats.Add(value);
    }
};

如果你调用first.Initialize(1.0f)，编译器知道他需要调用void Initialize(float value)，因为你传递了一个浮点数给函数。