Question

我有一个结构模板，它有两种类型（T和S），并且在某些时候使用static_cast从一种类型转换为另一种类型。 T和S通常属于同一类型。

设置的简化示例：

template <typename T, typename S = T>
struct foo
{
  void bar(T val)
  {
    /* ... */
    some_other_function(static_cast<S>(val));
    /* ... */
  }
};

如果S与T是同一个类，那么static_cast是否会引入额外的开销，或者它是一个总是被忽略的空操作？

如果它确实引入了开销，是否只有一个简单的模板元编程技巧才能在需要时执行static_cast，或者我是否需要创建部分特化以应对T == S情况？如果可能的话，我宁愿避免整个foo模板的部分特化。

Answer 1

是的，它可以。

以下是一个例子：

struct A {
  A( A const& ) {
    std::cout << "expensive copy\n";
  }
};

template<typename T>
void noop( T const& ) {}
template <typename T, typename S = T>
void bar(T val)
{
  noop(static_cast<S>(val));
}
template <typename T>
void bar2(T val)
{
  noop(val);
}
int main() {
  std::cout << "start\n";
  A a;
  std::cout << "bar2\n";
  bar2(a); // one expensive copy
  std::cout << "bar\n";
  bar(a); // two expensive copies
  std::cout << "done";
}

基本上，static_cast可以导致调用复制构造函数。

对于某些类型（如int），复制构造函数基本上是免费的，编译器可以将其删除。

对于其他类型，它不能。在这种情况下，复制省略也是不合法的：如果您的复制构造函数有副作用，或者编译器无法证明它没有副作用（如果复制构造函数不重要，则很常见），它将被调用。

Answer 2

为了补充Yakk's answer，我决定发布一些程序集来确认这一点。我使用std::string作为测试类型。

foo<std::string>.bar() - 无投|

pushq   %rbp
movq    %rsp, %rbp
subq    $32, %rsp
movq    %rcx, 16(%rbp)
movq    %rdx, 24(%rbp)
movq    24(%rbp), %rax
movq    %rax, %rcx
call    _Z19some_other_functionRKSs
nop
addq    $32, %rsp
popq    %rbp
ret

foo<std::string>.bar() - static_cast<T>()

pushq   %rbp
pushq   %rbx
subq    $56, %rsp
leaq    128(%rsp), %rbp
movq    %rcx, -48(%rbp)
movq    %rdx, -40(%rbp)
movq    -40(%rbp), %rdx
leaq    -96(%rbp), %rax
movq    %rax, %rcx
call    _ZNSsC1ERKSs     // std::string.string()
leaq    -96(%rbp), %rax
movq    %rax, %rcx
call    _Z19some_other_functionRKSs
leaq    -96(%rbp), %rax
movq    %rax, %rcx
call    _ZNSsD1Ev    // std::string.~string()
jmp .L12
movq    %rax, %rbx
leaq    -96(%rbp), %rax
movq    %rax, %rcx
call    _ZNSsD1Ev    // std::string.~string()
movq    %rbx, %rax
movq    %rax, %rcx
call    _Unwind_Resume
nop
.L12:
addq    $56, %rsp
popq    %rbx
popq    %rbp
ret

此代码仅使用-O0生成。任何优化级别都会使这两种情况均匀。

static_cast到同一类型会引入运行时开销吗？

2 个答案: