要保证字符串联合类型具有特定字符串字面量的映射类型，可以使用 TypeScript 中的keyof和as const关键字。

下面是一个示例代码：

type MyType = "foo" | "bar" | "baz";

type MyMap = {
  [key in MyType]: string;
};

const myMap: MyMap = {
  foo: "Hello",
  bar: "World",
  baz: "TypeScript"
};

console.log(myMap.foo); // 输出：Hello
console.log(myMap.bar); // 输出：World
console.log(myMap.baz); // 输出：TypeScript

在上面的代码中，首先定义了一个字符串联合类型MyType，它包含了三个字符串字面量："foo"、"bar"和"baz"。

然后，使用映射类型和keyof关键字定义了一个MyMap类型，它将MyType中的每个字符串字面量映射到一个字符串类型。

最后，创建了一个myMap对象，它符合MyMap类型的定义，并且可以通过.操作符访问每个字符串字面量对应的值。

需要注意的是，为了保证myMap对象的类型正确，需要使用as const关键字将对象字面量声明为只读的常量。这样，TypeScript 将会根据MyMap类型的定义来检查对象的属性和值的类型。

通过上述代码，可以保证字符串联合类型具有特定字符串字面量的映射类型，并且可以在代码中正确使用。