C++ Essay

#include 
#include 

int main()
{
  std::string x("0123456789");
  x.assign(x.data() + 3, 5);
  std::cout << x << std::endl; //34567
}

以上的string assign在src和dest即使有overlapped，在C++標準中，這樣是不會有問題的。
參考c++03

21.3.5.3 basic_string::assign
basic_string < charT , traits , Allocator >&
assign ( const charT * s , size_type n );
Returns: assign(basic_string(s ,n ))

在實作上 以gcc4.8.5為例，它的libstdc++-v3 分別判斷了src/dest有無overlap(_M_disjunct)再進行處理

//libstdc++-v3/include/bits/basic_string.tcc
template
    basic_string<_CharT, _Traits, _Alloc>&
    basic_string<_CharT, _Traits, _Alloc>::
    assign(const _CharT* __s, size_type __n)
    {
      __glibcxx_requires_string_len(__s, __n);
      _M_check_length(this->size(), __n, "basic_string::assign");
      if (_M_disjunct(__s) || _M_rep()->_M_is_shared())
        return _M_replace_safe(size_type(0), this->size(), __s, __n);
      else
        {
          // Work in-place.
          const size_type __pos = __s - _M_data();
          if (__pos >= __n)
            _M_copy(_M_data(), __s, __n);
          else if (__pos)
            _M_move(_M_data(), __s, __n);
          _M_rep()->_M_set_length_and_sharable(__n);
          return *this;
        }
     }

儘管規範如此，在呼叫API時，碰到可能會有修改到自身的內部狀態時，要特別小心規範是否支援以及實作是否正確

以stlport 5.2.1為例，沒有特別處理overlap問題，而是直接_Traits::copy => memcpy(並不保證overlapped沒問題 要看memcpy實作, 如果要移動overlapped region, 應該用memmove, => _Traits::move)，因此碰到overlapped的情況會有問題

// stl/stlport/_string.c
template 
basic_string<_CharT,_Traits,_Alloc>&
basic_string<_CharT,_Traits,_Alloc>::_M_assign(const _CharT* __f, const _CharT* __l) {
  ptrdiff_t __n = __l - __f;
  if (__STATIC_CAST(size_type, __n) <= size()) {
    _Traits::copy(this->_M_Start(), __f, __n);
    erase(begin() + __n, end());
  }
  else {
    _Traits::copy(this->_M_Start(), __f, size());
    _M_append(__f + size(), __l);
  }
  return *this;
}

// stl/stlport/char_traits.h
static char_type* _STLP_CALL copy(char_type* __s1, const char_type* __s2, size_t __n) {
    return (__n == 0 ? __s1 :
      (char_type*)memcpy(__s1, __s2, __n * sizeof(char_type)));
}

在C++ void function()中，如果要提前返回的話，只要加上return;
那麼，是否可以return 一個void function呢? 答案是可以的，以下是C++03標準的摘錄

A return statement with an expression of type “cv void” can be used only in functions with a return type of cv void; the expression is evaluated just before the function returns to its caller.

C++03 6.6.3 The return statement

以下的程式碼皆為合法的C++

void g()
{
}
void h()
{
   return g(); // 這等同於 g(); return;
}
void f()
{
  return void();
}

以上的特性在template中可以如以下應用

class C
{
};

template 
T foo(void) {
  return T();
}

void f1()
{
  return foo();
}

int f2()
{
   return foo();
}

除了上面template的需要，一般是分開寫 f(); return;

return f(); 的作法可用作在API設計上提醒使用者做完某個function後就要返回，減少呼叫完忘記加return的機會。

但是因為C++回傳有型別的限制，這樣的技巧一般會在像javascript這類的語言中使用。