Example

#include <iostream>

#include <cstring>

void string_copy(char target[], const char source[], int target_size);

//Precondition: target_size is the declared size of the cstring variable target.

//The array source contains a cstring value terminated with ’\0’.

//Postcondition: The value of target has been set to the cstring value in source,

//provided the declared size of target is large enough. If target is not large

//enough to hold the entire cstring, a cstring equal to as much of the value of

//source as will fit is stored in target.

int main( )

{

using namespace std;

char short_string[11]; //Can hold cstrings of up to 10 characters.

string_copy(short_string, "Hello", 11);

cout << short_string << "STRING ENDS HERE.\n";

char long_string[] = "This is rather long.";

string_copy(short_string, long_string, 11);

cout << short_string << "STRING ENDS HERE.\n";

return 0;

}